Publications

Export 8 results:
Autor Titel [ Typ(Desc)] Jahr
Filters: Autor is Libbrecht, Paul  [Clear All Filters]
Conference Paper
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)
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).
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., & 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)
Go to top