scientific article; zbMATH DE number 790271

MaRDI QIDQ4846468zbMATH OpenFDO

Authors Philippe Balbiani, Vincent Dugat, Luis Fariñas del Cerro, Anne Lopez

Publication date 27 August 1995

zbMATH Keywords

algorithmscomputer sciencegeometric constructionsgeometric figureslogicmechanical geometryrecognitionspheresynthetic geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Elementary problems in Euclidean geometries (51M04) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Geometric reasoning with logic and algebra
• scientific article; zbMATH DE number 4093424
• scientific article; zbMATH DE number 50429
• Proof and computation in geometry

Cited in

(11)

• Retrieving geometric information from images: the case of hand-drawn diagrams
• Editorial: Mechanics and geometry of solids and surfaces
• scientific article; zbMATH DE number 50429 (Why is no real title available?)
• scientific article; zbMATH DE number 976300 (Why is no real title available?)
• scientific article; zbMATH DE number 1145330 (Why is no real title available?)
• A short biography of Luis Fariñas del Cerro
• Geometrical structures and modal logic
• scientific article; zbMATH DE number 2133295 (Why is no real title available?)
• ON THE NUMBER OF TRIANGULATION SIMPLEXES
• Euclidean machines: general theory of problem
• Geometry machines: from AI to SMC

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