CICM 2013 - Conferences on Intelligent Computer Mathematics

CICM
Track A: Calculemus
Track B: DML
Track C: MKM
Track D: Systems & Projects
Workshops & Doctoral Programme
- MathUI 2013
- OpenMath 2013
- PLMMS 2013
- ThEdu 2013
- Doctoral Programme

You must enable JavaScript to use this site

- General Information
- Call for Papers
- Important Dates
- Submission
- Invited Talks
- Venue & Travel
- Programme Overview
- Day schedule
- All Talks and Events
- Registration and Accommodation
- Programme Committee

Thursday
9:00- 10:00	Chair: James Davenport, Room 8W 2.1 (Invited Talk) Ursula Martin and Alison Pease. Mathematical practice, crowdsourcing, and social machines (9:00-10:00) (DOI) DML
10:00- 10:30	Coffee
10:30- 12:30	Chair: Petr Sojka, Room 8W 2.1 Shahab Kamali and Frank Tompa. Structural Similarity Search For Mathematics Retrieval (10:30-11:00) (DOI) Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic and Akiko Aizawa. A hybrid approach for semantic enrichment of MathML mathematical expressions (11:00-11:30) (DOI) Bruce Miller. 3 Years of DLMF on the Web; Math & Search (11:30-12:00) (DOI) DML
12:30- 14:00	Lunch
14:00- 15:30	Chair: Thierry Bouche, Room 8W 2.1 Paul Libbrecht. Escaping the Trap of too Precise Topic Queries (14:00-14:30) (Slides) (DOI) Chau Do and Eric Pauwels. Using MathML to Represent Units of Measurement for Improved Ontology Alignment (14:30-15:00) (DOI) Michal Růžička, Petr Sojka and Vlastimil Krejčíř. Towards Machine-Actionable Modules of a Digital Mathematics Library (15:00-15:30) (Slides) (DOI) DML
15:30- 16:00	Coffee
16:00- 18:00	Room 8W 2.1 Rui Hu and Stephen Watt. Determining Points on Handwritten Mathematical Symbols (16:00-16:30) (DOI) Matthew England, Russell Bradford, James H. Davenport and David Wilson. Understanding branch cuts of expressions (16:30-17:00) (DOI) Eno Tonisson. Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System (17:00-17:30) (DOI) Christoph Lange, Marco Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (17:30-18:00) (Slides) (DOI) MKM
	MKM. Business meeting (18:10-18:50) MKM Business Meeting

News

Privacy policy and legal information

Last modified: February 27 2026 17:29:30 CET