The following pages link to (Q5433133):
Displayed 11 items.
- The elementary geometric potential of the Euler inequality (Q524956) (← links)
- A mechanical geometer (Q2071524) (← links)
- Computing Euclidean Steiner trees over segments (Q2219516) (← links)
- Automated study of a regular trifolium (Q2319442) (← links)
- Simson-Wallace locus in \(d\)-dimensional projective-metric space (Q2410122) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- On One Method of Proving Inequalities in Automated Way (Q3102741) (← links)
- Extension of Simson–Wallace Theorem on Skew Quadrilaterals and Further Properties (Q3452279) (← links)
- On One Locus in the Plane (Q4553976) (← links)
- Automated Study of Envelopes of One-Parameter Families of Surfaces (Q4609996) (← links)
- An extension of Mobius--Lie geometry with conformal ensembles of cycles and its implementation in a GiNaC library (Q5242742) (← links)