Publication:5433133

zbMath1149.51007MaRDI QIDQ5433133

Pavel Pech

Publication date: 19 December 2007

zbMATH Keywords

automatic theorem provinggeometric inequalitiesalgebraizationNapoleon's theoremPetr-Douglas-Neumann theoremCeva's theoremmechanical theorem provinggeometry theorem provingMenelaus theoremmechanizationSimson-Wallace theorem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Elementary problems in Euclidean geometries (51M04) Euclidean geometries (general) and generalizations (51M05) Research exposition (monographs, survey articles) pertaining to geometry (51-02)

Related Items

Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties, On One Locus in the Plane, Automated discovery of geometric theorems based on vector equations, Simson-Wallace locus in \(d\)-dimensional projective-metric space, Automated Study of Envelopes of One-Parameter Families of Surfaces, Computing Euclidean Steiner trees over segments, The elementary geometric potential of the Euler inequality, On One Method of Proving Inequalities in Automated Way, A mechanical geometer, Automated study of a regular trifolium, An extension of Mobius--Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library

Uses Software

• CoCoA
• Lugares