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...
Furkejuvvon:
| Váldodahkkit: | , , , |
|---|---|
| Materiálatiipa: | Artigo |
| Giella: | Inglês |
| Almmustuhtton: |
MDPI AG
2021-08-01
|
| Ráidu: | Mathematics |
| Fáttát: | |
| Liŋkkat: | https://www.mdpi.com/2227-7390/9/16/1964 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|