Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer

DOI10.2307/2317942zbMath0184.24202OpenAlexW4234184063MaRDI QIDQ5576155

Philip J. Davis, Edward A. Cerutti

Publication date: 1969

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2317942

zbMATH Keywords

analytic geometry, projective geometry

Related Items (2)

On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Computers as a Source of A Posteriori Knowledge in Mathematics

Uses Software

• FORMAC

This page was built for publication: Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer