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

  • Brief notes on travel to Bath
  • Registration is closed
  • Deadline extension for applications to the doctoral programme
  • Accepted papers online
  • Campus accommodation now bookable
  • Brief notes on Bath City hotels
  • Doctoral programme applications are now open
  • Invited talks by Patrick Ion, Assia Mahboubi, and Ursula Martin

  
  

Last modified: September 05 2025 21:35:25 CEST