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