The aim of this diploma thesis Computer aided verification and proving of geometric theorems is verification and proving of selected geometric theorems and statements using dynamic geometry software (GeoGebra) and computer algebra programs (CoCoA). Each problem is first demonstrated and verified in the GeoGebra program. Then classical proof and computer aided proof, or determination of the equation of a curve, using the program CoCoA follow. The use of dynamic geometry software and computer algebra programs is suitable as a teaching tool in maths lessons at primary and secondary schools.
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:260875 |
| Date | January 2016 |
| Creators | CUKR, Pavel |
| Source Sets | Czech ETDs |
| Language | Czech |
| Detected Language | English |
| Type | info:eu-repo/semantics/masterThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0013 seconds