CISUC -

Authors

Christoph Lange
David Aspinall
Jacques Carette
James Davenport
Andrea Kohlhase
Michael Kohlhase
Paul Libbrecht
Pedro Quaresma
Florian Rabe
Petr Sojka
Iain Whiteside
Wolfgang Windsteiger

Keywords

Theorem proving components for Educational software, Programming Languages for Mechanizes Mathematical Systems, OpenMath, Mathematical User Interfaces

Subject

Workshops and Work in Progress at CICM 2013

Conference Name

Workshops and Work in Progress at CICM 2013

Edited Book

, CEUR-WS, July 2013

DOI

Cited by

No citations found