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”. Journal of Computer Science and Cybernetics 12, no. 4 (April 6, 2016): 78–86. Accessed May 4, 2024. https://vjs.ac.vn/index.php/jcc/article/view/8094.