A software tool for the investigation of plane loci
From MaRDI portal
Publication:1861521
DOI10.1016/S0378-4754(02)00173-8zbMath1011.68149MaRDI QIDQ1861521
J. L. Valcarce, Francisco Botana
Publication date: 9 March 2003
Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)
Groebner basessymbolic computingdynamic geometryautomatic discovery of locisymbolic-numeric interface
Related Items
Automatic determination of envelopes and other derived curves within a graphic environment, Automatic deduction in (dynamic) geometry: Loci computation, Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}, A parametric approach to 3D dynamic geometry, Generalizing the Steiner-Lehmus theorem using the Gröbner cover, Computing bisectors in a dynamic geometry environment, Connecting the 3D DGS Calques3D with the CAS Maple, A Symbolic Companion for Interactive Geometric Systems, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry, The cissoid of Diocles in the Lorentz–Minkowski plane, Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
Uses Software
Cites Work
- A new lower bound construction for commutative Thue systems with applications
- Wu's method and its application to perspective viewing
- A refutational approach to geometry theorem proving
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Some features of \(CoCoA 3\)
- Automatic discovery of theorems in elementary geometry
- An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
