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

DOI10.2307/2317942MaRDI QIDQ5576155zbMATH OpenOpenAlexFDO

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)

• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• Computers as a source of a posteriori knowledge in mathematics
• Geometry machines: from AI to SMC

Describes a project that uses

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)