Automated exploration of envelopes and offsets with networking of technologies

DOI10.1007/s11786-022-00555-2OpenAlexW4317829664MaRDI QIDQ6157645

Zoltán Kovács, Thierry Dana-Picard

Publication date: 22 June 2023

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-022-00555-2

zbMATH Keywords

plane curvesenvelopesoffsetsautomated methods4 C's of education

Mathematics Subject Classification ID

Real algebraic sets (14P05) Computational aspects of algebraic curves (14Q05) Real algebraic and real-analytic geometry (14P99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sur la théorie des enveloppes
• Computation of singularities and intersections of offsets of planar curves
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• The Gröbner cover
• Some issues on the automatic computation of plane envelopes in interactive environments
• An automated study of isoptic curves of an astroid
• Envelopes -- notion and definiteness
• Revival of a classical topic in differential geometry: the exploration of envelopes in a computerized environment
• Automated Study of Envelopes of One-Parameter Families of Surfaces
• Zooming Algorithms for Accurate Plotting of Functions of Two Real Variables
• Geometry. I, II. Transl. from the French by M. Cole and S. Levy

This page was built for publication: Automated exploration of envelopes and offsets with networking of technologies