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