PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  plane geometry
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Computer proofs in plane geometry
Billich M.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2011
|
Vol. 16
197--204
EN
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.
2
Content available remote Construction problems and their place in secondary school mathematics
Slezákova J., Molnár J.
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
|
2007
|
Vol. 12
395-397
EN
A pilot study concerning construction problems in mathematics teaching at grammar schools and universities is described in this paper.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.