Publicações

Reproducing a Geometric Working Session Web Geometry Laboratory Project

AuthID
P-00G-1JK

Author(s)

Quaresma, P

Santos, V

Moral, J

Editor(es)

Sojka P.Neuper W.Watt S.M.Kohlhase M.Quaresma P.Davenport J.H.Libbrecht P.England M.Kohlhase A.Sexton A.P.Urban J.

Tipo de Documento

Proceedings Paper

Year published

2014

Publicado

in CEUR Workshop Proceedings, ISSN: 1613-0073

Volume: 1186

Conference

Joint of the 9Th Workshop on Mathematical User Interfaces, Mathui 2014, 26Th Openmath Workshop, Openmath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, Thedu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, Cicm 2014, Date: 7 July 2014 through 11 July 2014

Indexing