Yazar
Jacques Fleuriot
5 cilt bulundu.
Cilt sonuçları
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Jacques Fleuriot · Springer
140 sayfa · 2001
Automatic theorem proving / Nonstandard mathematical analysis / Mathematical analysis
Automated Deduction in Geometry
Tetsuo Ida, Jacques Fleuriot · Springer
204 sayfa · 2013
Geometry, data processing / Automatic theorem proving / Software engineering / Computer graphics / Artificial Intelligence (incl. Robotics)