scientific article; zbMATH DE number 5221779
From MaRDI portal
Publication:5433133
zbMath1149.51007MaRDI QIDQ5433133
Publication date: 19 December 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatic theorem provinggeometric inequalitiesalgebraizationNapoleon's theoremPetr-Douglas-Neumann theoremCeva's theoremmechanical theorem provinggeometry theorem provingMenelaus theoremmechanizationSimson-Wallace theorem
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
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
This page was built for publication:
