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

DOI10.2307/2317942zbMATH Open0184.24202OpenAlexW4234184063MaRDI QIDQ5576155FDOQ5576155

Authors: Edward A. Cerutti, Philip J. Davis 

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

Cited In (3)

• Geometry machines: from AI to SMC
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5576155)