Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: studiowanie geometrii

Sortuj według:

Ogranicz wyniki do:

Computer proofs in plane geometry

Billich M.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2011

Vol. 16

197--204

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.