Zoltán Kovács (JKU IDM/RISC): Elimination support for the Relation Tool in GeoGebra |
|
|
|
|
Kedd, 8. Szeptember 2015, 16:00 - 18:00
|
|
| Absztrakt. Több számítógépes dinamikus geometriai rendszer (DGS) is nyújt támogatást ahhoz, hogy (főként euklideszi) geometriai szerkesztések objektumai között kapcsolatokat olvassunk le. Ilyenek lehetnek pl. a párhuzamosság, a merőlegesség vagy az egybevágóság. A GeoGebra 5.0-s változatának Kapcsolat eszköze a korábban is létező numerikus ellenőrzésen kívül már szimbolikus módon is képes ezen összefüggések leolvasására, valamint olyan szintetikus feltételrendszer megfogalmazására, amellyel precíz geometriai tétel mondható ki. A háttérszámítások a legjobb nyílt forrású megoldásokon (Singular, Giac) alapulnak, melyek Gröbner bázisok segítségével képesek a függő változókat hatékonyan eliminálni. Az algebrai kimeneteket a GeoGebra végül olyan elegendő feltételekké alakítja, amelyekkel a vizsgált tulajdonság fennállása középiskolások számára is olvasható formájú geometriai tételként jeleníthető meg. |
|
Hely : Bolyai Intézet, I. emelet, Riesz terem, Aradi Vértanúk tere 1., Szeged |
Vissza
JEvents v3.1.8 Stable
Copyright © 2006-2013
Esemény exportálása