Publications

Export 8 results:
Autor Titel [ Typ(Asc)] Jahr
Filters: Autor is Libbrecht, Paul  [Clear All Filters]
Conference Paper
Kortenkamp, U., & Richter-Gebert J. (2004).  Using Automatic Theorem Proving to Improve the Usability of Geometry Software. (Libbrecht, P., Ed.).Proceedings of MathUI 2004. PDF icon KortenkampRichter-Ge-UATPIUGS-2004a.pdf (842.28 KB)
Kortenkamp, U., & Materlik D. (2004).  Pen-based input of geometric constructions. (Libbrecht, P., Ed.).Proceedings of MathUI 2004. PDF icon KortenkampMaterlik-PIGC-2004a.pdf (154.41 KB)
Kortenkamp, U., Blessing A. M., Dohrmann C., Kreis Y., Libbrecht P., & Mercat C. (2009).  Interoperable Interactive Geometry For Europe – First Technological and Educational Results and Future Challenges of the Intergeo Project. Proceedings of the Sixth Congress of the European Society for Research in Mathematics Education. January 28th - February 1st 2009, Lyon (France). PDF icon KortenkampBlessing-IIGEFTERFCIP-2009b.pdf (188.07 KB)
Kortenkamp, U., Blessing A. M., Dohrmann C., Kreis Y., Libbrecht P., & Mercat C. (2009).  Interoperable Interactive Geometry For Europe – First Technological and Educational Results and Future Challenges of the Intergeo Project. Proceedings of the Sixth Congress of the European Society for Research in Mathematics Education. January 28th - February 1st 2009, Lyon (France).
Abánades, M., Botana F., Escribano J., Hendriks M., Kortenkamp U., Kreis Y., et al. (2009).  The Intergeo File Format in Progress. Proceedings of the 22nd OpenMath Meeting.
Abánades, M., Botana F., Escribano J., Hendriks M., Kortenkamp U., Kreis Y., et al. (2009).  The Intergeo File Format in Progress. Proceedings of the 22nd OpenMath Meeting. PDF icon AbánadesBotana-IFFP-2009a..pdf (181.7 KB)
Go to top