scientific article; zbMATH DE number 1421055

MaRDI QIDQ4946079zbMATH OpenFDO

Authors Desmond Fearnley-Sander

Publication date 16 August 2001

zbMATH Keywords

mapsorientationperpendicularitysimilitudes

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04)

Recommendations

• scientific article; zbMATH DE number 1270598
• Plane geometry
• Plane geometry
• scientific article; zbMATH DE number 410761
• Plain plane geometry

Cited in

(8)

• Modular algebraic specification of some basic geometrical constructions
• Lower levels of Euclidean planes
• A sustainable geometry automated reasoning platform
• On some applications of set-theoretical methods in Euclidean geometry
• Cancellation patterns in automatic geometric theorem proving
• scientific article; zbMATH DE number 3895773 (Why is no real title available?)
• scientific article; zbMATH DE number 67455 (Why is no real title available?)
• The design and realization of an alternate reasoning system in plane analytic 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 Q4946079)