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)

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři

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.

Rok publikování 2014
Druh Editorství tématického sborníku
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.