P. Sarma, Gopal, and Nick J. Hay. “Robust Computer Algebra, Theorem Proving, and Oracle AI”. Informatica 41, no. 4 (December 27, 2017). Accessed January 8, 2026. https://www.informatica.si/index.php/informatica/article/view/1873.