scientific article; zbMATH DE number 2160466

MaRDI QIDQ4670511zbMATH OpenFDO

Authors Adolf Karger

Publication date 22 April 2005

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Computer proofs in plane geometry
• Proof and computation in geometry
• A computer-aided proof of a conjecture in Euclidean geometry
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 994744

Cited in

(5)

• Proof and computation in geometry
• The parallel numerical method of mechanical theorem proving
• scientific article; zbMATH DE number 95106 (Why is no real title available?)
• scientific article; zbMATH DE number 6984221 (Why is no real title available?)
• Formalized proof, computation, and the construction problem in algebraic geometry

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 Q4670511)