A parametric approach to 3D dynamic geometry

DOI10.1016/J.MATCOM.2012.12.004MaRDI QIDQ2229885zbMATH OpenOpenAlexFDO

Authors 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

automated deductionGroebner basesparametric polynomial systems3D dynamic geometrydegenerated conditions

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
• Automated Deduction in Geometry
• A Symbolic Companion for Interactive Geometric Systems
• scientific article; zbMATH DE number 2087082
• Automatic deduction in (dynamic) geometry: Loci computation

Cites work

• scientific article; zbMATH DE number 3926283 (Why is no real title available?)
• scientific article; zbMATH DE number 3926284 (Why is no real title available?)
• scientific article; zbMATH DE number 4065140 (Why is no real title available?)
• scientific article; zbMATH DE number 3686283 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 2009909 (Why is no real title available?)
• scientific article; zbMATH DE number 1745035 (Why is no real title available?)
• scientific article; zbMATH DE number 2151243 (Why is no real title available?)
• scientific article; zbMATH DE number 2087082 (Why is no real title available?)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• A Symbolic Companion for Interactive Geometric Systems
• A bridge between dynamic geometry and computer algebra
• A new algorithm for computing comprehensive Gröbner systems
• A software tool for the investigation of plane loci
• Automatic determination of envelopes and other derived curves within a graphic environment
• Automatic discovery of theorems in elementary geometry
• Comprehensive Gröbner bases
• Connecting the 3D DGS Calques3D with the CAS Maple
• ELIMINATING EXTRANEOUS SOLUTIONS IN CURVE AND SURFACE OPERATIONS
• GEOTHER: A geometry theorem prover
• Gröbner bases for families of affine or projective schemes
• Gröbner bases for polynomial systems with parameters
• Solving parametric polynomial systems
• Using Gröbner bases to reason about geometry problems

Cited in

(4)

• Modeling time and topology for animation and visualization with examples on parametric geometry
• paramGeo3D
• A Singular web service for geometric computations
• A brief note on the approach to the conic sections of a right circular cone from dynamic geometry

Describes a project that uses

Uses Software

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

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

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