Dealing with Degeneracies in Automated Theorem Proving in Geometry
We report, through different examples, the current development in GeoGebra, a widespread Dynamic Geometry software, of geometric automated reasoning tools by means of computational algebraic geometry algorithms. Then we introduce and analyze the case of the degeneracy conditions that so often arise...
Сохранить в:
| Главные авторы: | , , , |
|---|---|
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
MDPI AG
2021-08-01
|
| Серии: | Mathematics |
| Предметы: | |
| Online-ссылка: | https://www.mdpi.com/2227-7390/9/16/1964 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|