scientific article; zbMATH DE number 1746669

MaRDI QIDQ4530838zbMATH OpenFDO

Authors Jacques D. Fleuriot

Publication date 9 June 2002

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Questions of classical algebraic geometry (51N35)

Recommendations

• Theorem proving in infinitesimal geometry
• scientific article; zbMATH DE number 1303336
• scientific article; zbMATH DE number 4130388
• scientific article; zbMATH DE number 1646230
• Mechanizing Nonstandard Real Analysis

Cited in

(9)

• Formalization of the Poincaré disc model of hyperbolic geometry
• Geometric nontermination arguments
• Formalizing complex plane geometry
• Theorem proving in infinitesimal geometry
• scientific article; zbMATH DE number 1646230 (Why is no real title available?)
• On the formal analysis of Gaussian optical systems in HOL
• scientific article; zbMATH DE number 1303336 (Why is no real title available?)
• Complex Bounded Operators
• Nonrealizability proofs in computational geometry

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530838)