THỦY, N. T. 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. Journal of Computer Science and Cybernetics, [S. l.], v. 12, n. 4, p. 78–86, 2016. DOI: 10.15625/1813-9663/12/4/8094. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/8094. Acesso em: 4 may. 2024.