The computer searches for Pascal conics

DOI10.1016/0898-1221(94)00216-8MaRDI QIDQ1343393zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On the coincidences of Pascal lines
• Illumination of Pascal's hexagrammum and octagrammum mysticum
• The Pascal mysticum demystified
• A very simple proof of Pascal's hexagon theorem and some applications
• Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system

Cites work

• scientific article; zbMATH DE number 3926285 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 1348459 (Why is no real title available?)
• scientific article; zbMATH DE number 3428118 (Why is no real title available?)
• scientific article; zbMATH DE number 3334801 (Why is no real title available?)
• An introduction to Wu's method for mechanical theorem proving in geometry
• Associative differential operations
• Basic principles of mechanical theorem proving in elementary geometries

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

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