LANGE, Christoph, David ASPINALL, Jacques CARETTE, James DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Pedro QUARESMA, Florian RABE, Petr SOJKA, Iain WHITESIDE and Wolfgang WINDSTEIGER. 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). Bath, UK: CEUR Vol. 1010 editors, 2013, 200 pp. |
Other formats:
BibTeX
LaTeX
RIS
@misc{1115951, author = {Lange, Christoph and Aspinall, David and Carette, Jacques and Davenport, James and Kohlhase, Andrea and Kohlhase, Michael and Libbrecht, Paul and Quaresma, Pedro and Rabe, Florian and Sojka, Petr and Whiteside, Iain and Windsteiger, Wolfgang}, address = {Bath, UK}, keywords = {mathematics;automated;CICM; MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM}, language = {eng}, location = {Bath, UK}, publisher = {CEUR Vol. 1010 editors}, title = {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)}, url = {http://ceur-ws.org/Vol-1010/}, year = {2013} }
TY - JOUR ID - 1115951 AU - Lange, Christoph - Aspinall, David - Carette, Jacques - Davenport, James - Kohlhase, Andrea - Kohlhase, Michael - Libbrecht, Paul - Quaresma, Pedro - Rabe, Florian - Sojka, Petr - Whiteside, Iain - Windsteiger, Wolfgang PY - 2013 TI - 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) PB - CEUR Vol. 1010 editors CY - Bath, UK KW - mathematics;automated;CICM KW - MathUI;OpenMath;PLMMS;ThEdu;DML;Calculemus;MKM UR - http://ceur-ws.org/Vol-1010/ L2 - http://ceur-ws.org/Vol-1010/ N2 - 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 ER -
LANGE, Christoph, David ASPINALL, Jacques CARETTE, James DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Pedro QUARESMA, Florian RABE, Petr SOJKA, Iain WHITESIDE and Wolfgang WINDSTEIGER. \textit{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)}. Bath, UK: CEUR Vol. 1010 editors, 2013, 200 pp.
|