THỦY, Nguyễn Thanh. Các kỹ thuật trợ giúp chứng minh bài toán hình học: cách tiếp cận trí tuệ nhân tạo. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 12, n. 4, p. 78–86, 2016. DOI: 10.15625/1813-9663/12/4/8094. Disponível em: https://jcc.vast.vn/jcc/article/view/8094. Acesso em: 4 nov. 2025.