P. Sarma, G.; J. Hay, N. Robust Computer Algebra, Theorem Proving, and Oracle AI. Informatica 2017, 41 (4).