Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations

DOI10.1007/978-3-030-23250-4_10zbMath1428.68343OpenAlexW2955288804MaRDI QIDQ2287905

Pavel Pech, Zoltán Kovács

Publication date: 22 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_10

zbMATH Keywords

non-degeneracy conditionsautomated reasoning in geometrygeogebralocus equation

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• GeoGebra

This page was built for publication: Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations