- Tytuł:
- Computer proofs in plane geometry
- Autorzy:
- Billich, M.
- Powiązania:
- https://bibliotekanauki.pl/articles/121882.pdf
- Data publikacji:
- 2011
- Wydawca:
- Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
- Tematy:
-
plane geometry
teaching geometry
studying geometry
geometry theorem proving
geometria płaska
nauczanie geometrii
studiowanie geometrii
dowodzenie twierdzeń geometrii - Opis:
- Over the past 25 years highly successful methods for geometry theorem proving have been developed. We will use elementary and understandable examples to show the nature of the techniques for verification of geometric constructions made with interactive geometry environment and for proving geometric statements. In addition to some informations about the WinGCLC software with specific language, we look at the system GeoThms that integrates Automatic Theorem Provers, Dynamic Geometry Tools and a database. The abovementioned system provides an environment suitable for new ways of studying and teaching geometry at different levels.
- Źródło:
-
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 197-204
2450-9302 - Pojawia się w:
- Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
- Dostawca treści:
- Biblioteka Nauki
Artykuł