Automatic determination of envelopes and other derived curves within a graphic environment

DOI10.1016/j.matcom.2004.05.004zbMath1091.68111OpenAlexW2103749931MaRDI QIDQ1887816

J. L. Valcarce, Francisco Botana

Publication date: 22 November 2004

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

Full work available at URL: https://doi.org/10.1016/j.matcom.2004.05.004

zbMATH Keywords

Gröbner basesCausticsDynamic geometrySymbolic computingEnvelopesPedalsSymbolic-numeric interface

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items (11)

Computing envelopes in dynamic geometry environments ⋮ Structured matrices in the application of bivariate interpolation to curve implicitization ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Some issues on the automatic computation of plane envelopes in interactive environments ⋮ A parametric approach to 3D dynamic geometry ⋮ Computing bisectors in a dynamic geometry environment ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Automated study of a regular trifolium ⋮ An automated study of isoptic curves of an astroid

Uses Software

• Cinderella
• CoCoA
• Mathematica
• Geometer's Sketchpad
• Lugares
• GEX

Cites Work

• A refutational approach to geometry theorem proving
• Some features of \(CoCoA 3\)
• Automatic discovery of theorems in elementary geometry
• A software tool for the investigation of plane loci
• An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic determination of envelopes and other derived curves within a graphic environment