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