Computing envelopes in dynamic geometry environments

DOI10.1007/s10472-016-9500-3zbMath1409.68303OpenAlexW2332622738WikidataQ125118151 ScholiaQ125118151MaRDI QIDQ2398266

Francisco Botana, Tomás Recio

Publication date: 15 August 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

dynamic geometryautomated deduction in geometryenvelope computation

Mathematics Subject Classification ID

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

Related Items

Computing envelopes in dynamic geometry environments ⋮ A proposal for the automatic computation of envelopes of families of plane curves ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Automated study of a regular trifolium ⋮ Exploration of dual curves using a dynamic geometry and computer algebra system

Uses Software

• GeoGebra
• DynaGeo

Cites Work

• Gröbner bases for polynomial systems with parameters
• Sur la théorie des enveloppes
• The work of Tschirnhaus, La Hire and Leibniz on catacaustics and the birth of the envelopes of lines in the 17th century
• Automatic determination of envelopes and other derived curves within a graphic environment
• A Singular web service for geometric computations
• Computing envelopes in dynamic geometry environments
• Software Using the Gröbner Cover for Geometrical Loci Computation and Classification
• Unnamed Item