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

(8)

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

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)