Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F19%3A43900280" target="_blank" >RIV/60076658:12410/19:43900280 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/content/pdf/10.1007%2F978-3-030-23250-4.pdf" target="_blank" >https://link.springer.com/content/pdf/10.1007%2F978-3-030-23250-4.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-23250-4_10" target="_blank" >10.1007/978-3-030-23250-4_10</a>
Alternative languages
Result language
angličtina
Original language name
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations
Original language description
In automated reasoning in geometry, in particular in computing locus equations, degenerate components usually play an important role. Although degeneracy may have multiple meanings by considering different mathematical traditions, avoiding degenerate components is useful from the geometrical point of view. Computation of locus equations is usually based on elimination of variables. In most cases the graphical output is checked after the computations and then the degenerate components will be removed manually. In our experiments we prescribe non-degeneracy before starting any computations and expect dissappearing of the degenerate components automatically. In this paper we investigate if such assumptions may be automatized, and if they can help in improving the output by getting the degenerate components automatically removed, and whether the calculation is still feasible due to the higher amount of computations. Our experiments have already been tried in an implementation of our algorithm in GeoGebra 5.0.524.0.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10102 - Applied mathematics
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Intelligent Computer Mathematics
ISBN
978-3-030-23249-8
ISSN
1611-3349
e-ISSN
—
Number of pages
15
Pages from-to
140-154
Publisher name
Springer International Publishing
Place of publication
Cham
Event location
Praha
Event date
Jul 8, 2019
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—