P. Sarma G, J. Hay N. Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica. 2017;41(4). Accessed September 15, 2026. https://www.informatica.si/index.php/informatica/article/view/1873