|
|||||
|
|
Theorem proving in infinitesimal geometry |
|
| Authors: | Fleuriot JD |
| Affiliation: | Division of Informatics, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, UK E-mail: jdf@dai.ed.ac.uk |
| Abstract: | |
| Keywords: | nonstandard analysis geometry hyperreals theorem proving higher order logic Isabelle |
| 本文献已被 Oxford 等数据库收录！ | |