P. Sarma, G.; J. Hay, N. Robust Computer Algebra, Theorem Proving, and Oracle AI. IJCAI 2017, 41.