TY  - RPRT
TI  - Robust Computer Algebra, Theorem Proving, and Oracle AI
AU  - Gopal P. Sarma
AU  - Nick J. Hay
PY  - 2017
UR  - https://arxiv.org/abs/1708.02553
ID  - 1708.02553
ER  -