# Joint Proceedings 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, Coimbra; Portugal; 7 July 2014 through 11 July 2014

Research output: Book/Report › Book

## Standard

**Joint Proceedings 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, Coimbra; Portugal; 7 July 2014 through 11 July 2014.** / England, Matthew (Editor); Davenport, James H (Editor); Kohlhase, Andrea (Editor); Kohlhase, Michael (Editor); Libbrecht, Paul (Editor); Neuper, Walther (Editor); Quaresma, Pedro (Editor); Sexton, Alan (Editor); Sojka, Petr (Editor); Urban, Josef (Editor); Watt, Stephen M (Editor).

Research output: Book/Report › Book

## Harvard

*Joint Proceedings 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, Coimbra; Portugal; 7 July 2014 through 11 July 2014*. CEUR Workshop Proceedings, vol. 1186, vol. 1186, CEUR-WS.org. <http://ceur-ws.org/Vol-1186/>

## APA

*Joint Proceedings 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, Coimbra; Portugal; 7 July 2014 through 11 July 2014*. (CEUR Workshop Proceedings; Vol. 1186). CEUR-WS.org. http://ceur-ws.org/Vol-1186/

## Vancouver

## Author

## Bibtex

}

## RIS

TY - BOOK

T1 - Joint Proceedings 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, Coimbra; Portugal; 7 July 2014 through 11 July 2014

A2 - England, Matthew

A2 - Davenport, James H

A2 - Kohlhase, Andrea

A2 - Kohlhase, Michael

A2 - Libbrecht, Paul

A2 - Neuper, Walther

A2 - Quaresma, Pedro

A2 - Sexton, Alan

A2 - Sojka, Petr

A2 - Urban, Josef

A2 - Watt, Stephen M

PY - 2014/7/1

Y1 - 2014/7/1

M3 - Book

VL - 1186

T3 - CEUR Workshop Proceedings

BT - Joint Proceedings 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, Coimbra; Portugal; 7 July 2014 through 11 July 2014

PB - CEUR-WS.org

ER -