Jacques Fleuriot
2 published titles
A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia
1 edition
- ISBN: 1852334665
- Springer
- 2001
- Details
Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642406713
- Springer
- 2013
- Details
