Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia Fleuriot Jacques Heftet / 2012 / Engelsk
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers Ida Tetsuo Heftet / 2013 / Engelsk
Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings Fleuriot Jacques Heftet / 2018 / Engelsk
