Search
GeoGebra
  • Home
  • Resources
  • Profile
  • Classroom
  • App Downloads

Literatur

Author:Zoltán Kovács
  • Chou: Mechanical geometry theorem proving, 1987
  • Botana, Hohenwarter, Janičić, Kovács, Petrović, Recio, Weitzhofer: Automated Theorem Proving in GeoGebra: Current Achievements, 2015
  • Kovács: 7 elementary theorems checked by the Relation Tool, 2014
  • Kovács: Computer Based Conjectures and Proofs in Teaching Euclidean Geometry, 2015
  • Kovács: The Relation Tool in GeoGebra 5, 2015

New Resources

  • Geld aufteilen 2
  • Wie sicher erkennt GPTZero KI-generierte Texte?
  • FLINKe Bedienung
  • Potenz-Eingabe
  • Hesse-Normalform

Discover Resources

  • Lichteinfall auf eine Solarzelle im Tagesverlauf
  • Stückweise Sinus
  • Der Einheitskreis
  • Anwendungsaufgabe
  • Fixelemente bei zentr. Streckungen

Discover Topics

  • Logarithmic Functions
  • Rational Numbers
  • Addition
  • Function Graph
  • Cube
AboutPartnersHelp Centre
Terms of ServicePrivacyLicense
Graphing CalculatorCalculator SuiteMath Resources

Download our apps here:

Download_on_the_App_Store_Badge_US-UK_RGB_blk_4SVG_092917

© 2025 GeoGebra®