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/BF03191837zbMath1179.51001OpenAlexW1891896863MaRDI QIDQ5324499

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

configuration theoremscomputer-aided theorem proving and discovery

Mathematics Subject Classification ID

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

Related Items (3)

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