Programme
Friday 10 July 4:20-6:00 General (Session Chair: Laurence Rideau)
25 min
A Review of Mathematical Knowledge Management
Carette, Farmer.
Carette, Farmer.
25 min
A Mathematical Approach to Ontology Authoring and Documentation
Lange, Kohlhase.
Lange, Kohlhase.
25 min
From Isothetic Tessellations to Web Tables
Nagy, Seth, Silversmith, Krishnamoorthy, Jandhyala, Padmanabhan.
Nagy, Seth, Silversmith, Krishnamoorthy, Jandhyala, Padmanabhan.
25 min
Formal Proof: Reconciling Correctness and Understanding
Calude, Müller.
Calude, Müller.
Saturday 11 July 8:30-10:30 Documents and Exercises (Session Chair: Robert Miner)
20 min
Some Drawbacks Appearing in Conversion of TeX Generated Documents to Adobe Acrobat PDF File Format
Pejovic, Mijajlovic.
Pejovic, Mijajlovic.
25 min
The Characteristics of Writing Environments for mathematics
Gozli, Pollanen, Reynolds.
Gozli, Pollanen, Reynolds.
25 min
Canonical Forms in Interactive Exercise Assistants
Heeren, Jeuring.
Heeren, Jeuring.
25 min
Representation for Reusable Interactive Exercises
Goguadze.
Goguadze.
Saturday 11 July 11:00-12:00 Plenary Presentation
Some Traditional Mathematical Knowledge Management
Patrick Ion
Patrick Ion
Saturday 11 July 4:20-6:00 Representations 1 (Session Chair: Michael Kohlhase)
20 min
OpenMath in SCIEnce: SCSCP and POPCORN
Horn, Roozemond.
Horn, Roozemond.
20 min
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Heras, Pascual, Rubio.
Heras, Pascual, Rubio.
20 min
Collaborative Assistant to Handle MathML Expressions
Aslam, Martinez Enriquez, Escalada-Imaz.
Aslam, Martinez Enriquez, Escalada-Imaz.
20 min
Collection Management in ActiveMath
Libbrecht.
Libbrecht.
20 min
The FMathL Project
Schodl, Neumaier, Schichl.
Schodl, Neumaier, Schichl.
Saturday 11 July 6:15-7:15 Recognition (Session Chair: Masakazu Suzuki)
25 min
A Linear Grammar Approach to Mathematical Formula Recognition from PDF
Baker, Sexton, Sorge.
Baker, Sexton, Sorge.
20 min
Confidence Measures in Recognizing Handwritten Mathematical Symbols
Golubitsky, Watt.
Golubitsky, Watt.
Sunday 12 July 8:30-10:30 Representations 2 (Session Chair: Volker Sorge)
25 min
A Saturated Extension of Lambda-bar-mu-mu-tilde
Mamane, Geuvers, McKinna.
Mamane, Geuvers, McKinna.
25 min
Finite Groups Representation Theory with Coq
Ould Biha.
Ould Biha.
20 min
The MMT Language
Rabe.
Rabe.
20 min
Natural Deduction Environment for Matita
Sacerdoti Coen, Tassi.
Sacerdoti Coen, Tassi.
25 min
Unifying Math Ontologies: A Tale of Two Standards
Davenport, Kohlhase.
Davenport, Kohlhase.
Sunday 12 July 11:00-12:00 Deduction and Rule-based systems (Session Chair: Tetsuo Ida)
25 min
MathLang Translation to Isabelle Syntax
Lamar, Kamareddine, Wells.
Lamar, Kamareddine, Wells.
20 min
Crafting a Repository of Knowledge Based on Transformation Rules
Rich, Jeffrey.
Rich, Jeffrey.
Sunday 12 July 3:00-4:00 Plenary Presentation
Software Engineering for Mathematics
Georges Gonthier
Georges Gonthier
Sunday 12 July 4:20-6:00 Applications (Session Chair: Bruce Miller)
25 min
OpenMath Content Dictionaries for SI Quantities and Units
Collins.
Collins.
25 min
Web Services for Active Mathematical Documents
Giceva, Lange, Rabe.
Giceva, Lange, Rabe.
25 min
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Kohlhase.
Kohlhase.
25 min
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Kohlhase.
Kohlhase.