Publications

Export 1 results:

BibTex
RTF

Autor Titel [ Typ

] Jahr

Filters: Autor is Richter-Gebert, Jürgen and First Letter Of Title is U [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.

KortenkampRichter-Ge-UATPIUGS-2004a.pdf (842.28 KB)

Go to top