Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system

DOI10.1007/BF03191837MaRDI QIDQ5324499zbMATH OpenOpenAlexFDO

Authors Julio Fernández Biarge, Eugenio Roanes Macías, Eugenio Roanes-Lozano

Publication date 3 August 2009

Published in Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/43679

zbMATH Keywords

computer-aided theorem proving and discoveryconfiguration theorems

Mathematics Subject Classification ID

Configuration theorems in linear incidence geometry (51A20) Computing methodologies and applications (68U99)

Recommendations

• Visual Pascal Configuration and Quartic Surface
• On the coincidences of Pascal lines
• A very simple proof of Pascal's hexagon theorem and some applications
• The Pascal mysticum demystified
• Degenerations of Pascal lines

Cited in

(8)

• The computer searches for Pascal conics
• Pascal's theorem and quantum deformation
• GENERALIZATION OF THE PASCAL THEOREM TO THE N-DIMENSIONAL PROJECTIVE SPACE
• scientific article; zbMATH DE number 1985292 (Why is no real title available?)
• Visual Pascal Configuration and Quartic Surface
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems
• Connecting the 3D DGS Calques3D with the CAS Maple

This page was built for publication: Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system

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