| ENGLAND, Matthew, James H. DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Walther NEUPER, Pedro QUARESMA, Alan P. SEXTON, Petr SOJKA, Josef URBAN a Stephen M. WATT. Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014). Coimbra, Portugal: CEUR Vol. 1186 editors, 2014, 200 s. |
Další formáty:
BibTeX
LaTeX
RIS
@misc{1211597,
author = {England, Matthew and Davenport, James H. and Kohlhase, Andrea and Kohlhase, Michael and Libbrecht, Paul and Neuper, Walther and Quaresma, Pedro and Sexton, Alan P. and Sojka, Petr and Urban, Josef and Watt, Stephen M.},
address = {Coimbra, Portugal},
keywords = {mathematics;automated;CICM; MathUI;OpenMath;ThEdu;DML;Calculemus;MKM},
language = {eng},
location = {Coimbra, Portugal},
publisher = {CEUR Vol. 1186 editors},
title = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)},
url = {http://ceur-ws.org/Vol-1186/},
year = {2014}
}
TY - JOUR
ID - 1211597
AU - England, Matthew - Davenport, James H. - Kohlhase, Andrea - Kohlhase, Michael - Libbrecht, Paul - Neuper, Walther - Quaresma, Pedro - Sexton, Alan P. - Sojka, Petr - Urban, Josef - Watt, Stephen M.
PY - 2014
TI - Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)
PB - CEUR Vol. 1186 editors
CY - Coimbra, Portugal
KW - mathematics;automated;CICM
KW - MathUI;OpenMath;ThEdu;DML;Calculemus;MKM
UR - http://ceur-ws.org/Vol-1186/
L2 - http://ceur-ws.org/Vol-1186/
N2 - This joint volume gathers together papers with those contributed to the workshops held at CICM 2014. The Proceedings consists of 29 papers accepted for the following Workshops and Work in Progress track at CICM 2014: -- The 9th Workshop on Mathematical User Interfaces (MathUI) -- The 26th OpenMath Workshop -- The 2014 Workshop on Theorem proving components for Educational software (ThEdu) -- The Work in Progress Section of the CICM.
ER -
ENGLAND, Matthew, James H. DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Walther NEUPER, Pedro QUARESMA, Alan P. SEXTON, Petr SOJKA, Josef URBAN a Stephen M. WATT. \textit{Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)}. Coimbra, Portugal: CEUR Vol. 1186 editors, 2014, 200 s.
|
