A new theorem discovered by computer prover
- 1 November 1989
- journal article
- Published by Springer Nature in Journal of Geometry
- Vol. 36 (1) , 173-182
- https://doi.org/10.1007/bf01231031
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Pappus lines and Leisenring linesJournal of Geometry, 1983