Coons, Albert (1999). "Getting Started with Symbolic Mathematics Systems: A Productivity Tool". Technology Tips. The Mathematics Teacher. 92 (7): 620–622. doi:10.5951/mt.92.7.0620. JSTOR27971125.
Dana-Picard, Thierry Noah (2023). "Computer Assisted Proofs and Automated Methods in Mathematics Education". Electronic Proceedings in Theoretical Computer Science. 375: 2–23. arXiv:2303.10166. doi:10.4204/EPTCS.375.2.
Coons, Albert (1999). "Getting Started with Symbolic Mathematics Systems: A Productivity Tool". Technology Tips. The Mathematics Teacher. 92 (7): 620–622. doi:10.5951/mt.92.7.0620. JSTOR27971125.