Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Sarma, Gopal P.
and
Hay, Nick J.
2017.
Robust Computer Algebra, Theorem Proving, and Oracle AI.
SSRN Electronic Journal,
Cain, Alan J.
2019.
Visual thinking and simplicity of proof.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences,
Vol. 377,
Issue. 2140,
p.
20180032.