Publication details

Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013)

Authors

LANGE Christoph ASPINALL David CARETTE Jacques DAVENPORT James KOHLHASE Andrea KOHLHASE Michael LIBBRECHT Paul QUARESMA Pedro RABE Florian SOJKA Petr WHITESIDE Iain WINDSTEIGER Wolfgang

Year of publication 2013
Type Editing of thematic compilation, editing of monothematic issue of profesional journal
MU Faculty or unit

Faculty of Informatics

Citation
Description The Proceedings consists of 28 papers accepted for the following Workshops and Work in Progress track at CICM 2013: -- The 8th Workshop on Mathematical User Interfaces (MathUI) -- The 25th OpenMath Workshop -- Workshop on Programming Languages for Mechanizes Mathematical Systems (PLMMS) -- The 2th Workshop on Theorem proving components for Educational software (ThEdu) -- The Work in Progress Section of the CICM
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info

By clicking “Accept Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. Cookie Settings

Necessary Only Accept Cookies