Publication:5433133
zbMath1149.51007MaRDI QIDQ5433133
Publication date: 19 December 2007
automatic theorem provinggeometric inequalitiesalgebraizationNapoleon's theoremPetr-Douglas-Neumann theoremCeva's theoremmechanical theorem provinggeometry theorem provingMenelaus theoremmechanizationSimson-Wallace theorem
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
Uses Software