Robust Computer Algebra, Theorem Proving, and Oracle AI. (2017). Informatica, 41(4). https://puffbird.ijs.si/index.php/informatica/article/view/1873