Theorem proving in infinitesimal geometry

DOI10.1093/jigpal/9.3.447zbMath0986.03016OpenAlexW2094333108MaRDI QIDQ2720298

Jacques D. Fleuriot

Publication date: 26 June 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/9.3.447

zbMATH Keywords

theorem provinghigher-order logicnonstandard analysisIsabellehyperrealsinfinitesimal geometryalgebraic geometry theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Nonstandard models in mathematics (03H05)

Related Items (2)

Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL

Uses Software

• Isabelle

This page was built for publication: Theorem proving in infinitesimal geometry