- Projects
- ACAT-Theory
- Cinderella
- DZLM
- Enhancing Geometric Creativity
- FUNTAC
- Intergeo
- iPads im Matheunterricht
- KETCindy
- Klic
- Madipedia
- Mathematical Creativity Squared
- multiplex-r
- ODS
- Place Value Chart
- ProFFi-M
- SAiL-M
- Studie Bürgerkompetenz Rechnen
- VCQ
- Visage
- Winkel
- Zahlenmauern und Klammergebirge
- Innovative Hochschule Bildungscampus Golm
- Apps
- People
- Publications
- Partners
- Humboldt-Universität zu Berlin (Didaktik)
- Martin Luther University Halle-Wittenberg
- Montessori Schulzentrum Leipzig
- Pädagogische Hochschule Ludwigsburg
- Pädagogische Hochschule Schwäbisch Gmünd
- Pädagogische Hochschule Weingarten
- Technische Universität München (Fakultät für Mathematik)
- Toho University
- Universität des Saarlandes (Primarstufe)
- Universität des Saarlandes (Sekundarstufe)
- University of Potsdam
- Blog
Publications
Export 1 results:
Autor Titel Typ [ Jahr
] Filters: Autor is Libbrecht, Paul and First Letter Of Title is U [Clear All Filters]
(2004). Using Automatic Theorem Proving to Improve the Usability of Geometry Software.
(Libbrecht, P., Ed.).Proceedings of MathUI 2004. 
KortenkampRichter-Ge-UATPIUGS-2004a.pdf (842.28 KB)
KortenkampRichter-Ge-UATPIUGS-2004a.pdf (842.28 KB)