Robust Computer Algebra, Theorem Proving, and Oracle AI. - Sarma, Gopal P.; Hay, Nick J. (Informatica (03505596), 2017)