The computer searches for Pascal conics

DOI10.1016/0898-1221(94)00216-8zbMath0831.51003OpenAlexW1984083606MaRDI QIDQ1343393

V. Pereyra

Publication date: 11 February 1996

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(94)00216-8

zbMATH Keywords

geometric constructionsEuclidean analytic geometryPascal conics

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Software, source code, etc. for problems pertaining to geometry (51-04) Euclidean analytic geometry (51N20)

Cites Work

• An introduction to Wu's method for mechanical theorem proving in geometry
• Basic principles of mechanical theorem proving in elementary geometries
• Associative differential operations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The computer searches for Pascal conics