scientific article; zbMATH DE number 1421194

MaRDI QIDQ4946223zbMATH OpenFDO

Authors Philippe Balbiani, Luis Fariñas del Cerro

Publication date 3 December 2000

zbMATH Keywords

geometry theorem provingplane projective geometry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) General theory of linear incidence geometry and projective geometries (51A05)

Recommendations

• Constructive geometrical reasoning and diagrams
• scientific article; zbMATH DE number 972598
• Diagrammatic Representation and Inference
• scientific article; zbMATH DE number 664033
• Diagrammatic reasoning in Euclid's Elements
• Diagrams, tensors and geometric reasoning
• Projective geometry

Cited in

(6)

• Automated generation of geometric theorems from images of diagrams
• Diagrams, tensors and geometric reasoning
• scientific article; zbMATH DE number 1670605 (Why is no real title available?)
• On Euclidean diagrams and geometrical knowledge
• The design and realization of an alternate reasoning system in plane analytic geometry
• scientific article; zbMATH DE number 7758385 (Why is no real title available?)

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