A parametric approach to 3D dynamic geometry

DOI10.1016/j.matcom.2012.12.004OpenAlexW1995284450MaRDI QIDQ2229885

Francisco Botana

Publication date: 18 February 2021

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10902/5302

zbMATH Keywords

Groebner basesautomated deductionparametric polynomial systems3D dynamic geometrydegenerated conditions

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (3)

A brief note on the approach to the conic sections of a right circular cone from dynamic geometry ⋮ paramGeo3D ⋮ A Singular web service for geometric computations

Uses Software

• CoCoA
• Maple
• Mathematica
• SageMath
• SINGULAR
• GEOTHER 1.1
• GeoGebra
• Cabri 3D
• Calques 3D
• Lugares
• GEX
• 3D-LD

Cites Work

• A bridge between dynamic geometry and computer algebra
• Gröbner bases for polynomial systems with parameters
• Connecting the 3D DGS Calques3D with the CAS Maple
• Using Gröbner bases to reason about geometry problems
• Comprehensive Gröbner bases
• Automatic discovery of theorems in elementary geometry
• A software tool for the investigation of plane loci
• Automatic determination of envelopes and other derived curves within a graphic environment
• Solving parametric polynomial systems
• Gröbner bases for families of affine or projective schemes
• A new algorithm for computing comprehensive Gröbner systems
• ELIMINATING EXTRANEOUS SOLUTIONS IN CURVE AND SURFACE OPERATIONS
• GEOTHER: A geometry theorem prover
• A Symbolic Companion for Interactive Geometric Systems
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A parametric approach to 3D dynamic geometry