Formalized proof, computation, and the construction problem in algebraic geometry

MaRDI QIDQ3597204zbMATH OpenFDO

Authors Carlos Simpson

Publication date 9 February 2009

Full work available at URL https://arxiv.org/abs/math/0410224

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Algebraic geometry (14-XX) Functor categories, comma categories (18A25) Transcendental methods of algebraic geometry (complex-analytic aspects) (32J25)

Recommendations

• Proof and computation in geometry
• scientific article; zbMATH DE number 1745036
• scientific article; zbMATH DE number 806909
• Deepalgebra -- an outline of a program
• scientific article; zbMATH DE number 2160466

Cited in

(4)

• Formalizing constructive projective geometry in Agda
• Deepalgebra -- an outline of a program
• Methods for justifying arithmetic hypotheses and computer algebra
• The isomorphism problem of projective schemes and related algorithmic problems

This page was built for publication: Formalized proof, computation, and the construction problem in algebraic geometry

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