Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
From MaRDI portal
Publication:2287905
DOI10.1007/978-3-030-23250-4_10zbMath1428.68343OpenAlexW2955288804MaRDI QIDQ2287905
Publication date: 22 January 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_10
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
This page was built for publication: Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations