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 November 4, 2025. https://jcc.vast.vn/jcc/article/view/8094.