Robust Computer Algebra, Theorem Proving, and Oracle AI. INF 2017, 41 (4).