Aplikacja wspomagająca analizę zadań geometrycznych

Autor

  • Wojciech Kończewski Uniwersytet Kazimierza Wielkiego w Bydgoszczy
  • Zbyszko Królikowski Uniwersytet Kazimierza Wielkiego w Bydgoszczy
  • Izabela Rojek Uniwersytet Kazimierza Wielkiego w Bydgoszczy

DOI:

https://doi.org/10.34767/SIMIS.2025.02.01

Słowa kluczowe:

aplikacja, matematyka, logika, geometria, systemy ekspertowe, sztuczna inteligencja

Abstrakt

Celem pracy było zaprojektowanie i wdrożenie aplikacji, która umożliwiałaby pomoc w dowodzeniu twierdzeń geometrycznych. Aplikacja przeprowadza wstępne testy numeryczne, ocenia potencjalną prawdziwość tez oraz znajduje dowód logiczny, bazując na twierdzeniach geometrii euklidesowej. Program po wprowadzeniu problemu przeprowadza analizę numeryczną dla wielu różnych przykładów, co daje wstępny ogląd na poprawność zadanej tezy. Następnie próbuje udowodnić tezę drogą analityczną oraz bazując na bazie twierdzeń geometrycznych. Użytkownik może wspomagać proces, poprzez dokładanie konstrukcji geometrycznych.

Pobrania

Opublikowane

2025-06-24

Numer

Tom 17 Nr 2 (2025): Studia i Materiały Informatyki Stosowanej

Dział

Artykuły

Licencja

Creative Commons License

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Na tych samych warunkach 4.0 Miedzynarodowe.

Jak cytować

Aplikacja wspomagająca analizę zadań geometrycznych. (2025). Studia I Materiały Informatyki Stosowanej, 17(2), 5-8. https://doi.org/10.34767/SIMIS.2025.02.01