umn logo IMA home |  Contact IMA 
IMA Web

IMA "Hot Topic" Workshop

The Evolution of Mathematical Communication in the Age of Digital Libraries

December 8-9, 2006
Organizers:
Thomas Fischer State and University Library Göttingen
Patrick Ion Mathematical Reviews, American Mathematical Society
Robert Miner Design Science, Inc.
Lawrence C. Moore Mathematics, Duke University
Robby Robson Eduworks Corporation
Stephen M. Watt Computer Science, University of Western Ontario
Schedule Participants Program Application Feedback
IMA Live Streaming and Webcasting Maps
Abstracts and Talk Materials Dining Guide
Group Photo

Description:

Over the past two decades, mathematical communication has evolved rapidly from predominantly paper-based to electronic means for creating and sharing documents. Large electronic collections of scientific, technical, engineering and mathematics (STEM) materials now abound, including a large corpus of digitized and electronic scholarly journals, encylopedias, blogs, databases of assessments and problems, and e-books in accessible formats for those with visual or learning disabilities. The increasing importance of electronic collections has shifted attention to the issues surrounding their management and utilization, with the ultimate goal of knitting them together into thriving Digital Libraries.

Digital libraries present special challenges for mathematical communication. Practices and technologies that are successful for generic textual content are frequently difficult to adapt to STEM material with its greater reliance on mathematical notation, figures and tables. However, because of its formal nature, mathematical communication also promises unique opportunities for enhanced functionality via semantic analysis not yet feasible for arbitrary natural language.

This conference seeks to highlight early successes, showcase promising research, and identify important problems to be overcome for mathematical communication in the age of digital libraries.

Special emphasis is expected in the following areas:
  • Efficient searching and clustering of math and science content
  • Analysis and management of large collections, document matching, plagiarism detection
  • Metadata extraction and semantic analysis, crosswalking, universal metadata formats
  • Math accessibility, multilingual presentation, translation of notational preferences
  • Document validation, symbolic computation, automated assertion checking
  • Support for mathematics in wikis, blogs, personal annotation systems, recommender systems and other social networks
  • Online assessment, answer checking, intelligent feedback
  • Novel applications of mathematical analysis and algorithms to digital libraries, and/or novel applications of communication technologies to math and science content.

Schedule
Friday, December 8
8:15a-8:45a Registration and coffee   EE/CS 3-176
8:45a-9:00a Welcome to the IMA Douglas N. Arnold (University of Minnesota) EE/CS 3-180
9:00a-10:00a Structured math on the web T. V. Raman (Google Inc.) EE/CS 3-180
10:00a-10:15a Discussion and coffee break   EE/CS 3-180
10:15a-10:45a Relevance ranking and hit packaging in math search Abdou Youssef (George Washington University) EE/CS 3-180
10:45a-11:15a The Mathdex search engine Robert Miner (Design Science, Inc.) EE/CS 3-180
11:15a-11:30a break   EE/CS 3-176
11:30a-12:00p Text-based input formats for mathematical formulas Peter Jipsen (Chapman University) EE/CS 3-180
12:00p-12:30p The current state and future of jsMath Davide P. Cervone (Union College-Union University) EE/CS 3-180
12:30p-2:00p Discussion and lunch break   EE/CS 3-180
2:00p-2:30p Blogging with MathML Jacques Distler (University of Texas) EE/CS 3-180
2:30p-3:00p Collaborative curriculum development in engineering and The sciences: The connexions 7 year experience with MathML Ross Reedstrom (Rice University) EE/CS 3-180
3:00p-3:30p High performance mathematics and its management Jonathan Borwein (Dalhousie University) EE/CS 3-180
3:30p-4:00p Group photo and coffee break   EE/CS 3-180
4:00p-4:30p The ellipsis in mathematical documents Alan P. Sexton (University of Birmingham), Volker Sorge (University of Birmingham) EE/CS 3-180
4:30p-5:45p Panel discussion
Moderator: Edward A. Fox
EE/CS 3-180
NUMDAM Thierry Bouche (Université de Grenoble I (Joseph Fourier))
Panel on digital libraries of today Edward A. Fox (Virginia Polytechnic Institute and State University)
Presentation material Aaron Krowne (Emory University)
Towards digital mathematics library DML-CZ (OCR of mathematical texts) Petr Sojka (Masaryk University)
WDML: The world digital mathematics library Philippe Tondeur (University of Illinois at Urbana-Champaign)
Digital libraries projects Bernd Wegner (TU Berlin)
Saturday, December 9
8:45a-9:00a Coffee   EE/CS 3-176
9:00a-10:00a The slow evolution of mathematical communication Andrew M. Odlyzko (University of Minnesota) EE/CS 3-180
10:00a-10:15a Discussion and coffee break   EE/CS 3-180
10:15a-10:45a Using metadata for the interlinking of digitized mathematics Thomas Fischer (State and University Library Goettingen) EE/CS 3-180
10:45a-11:15a DLMF, LaTeXML and some lessons learned Bruce R. Miller (National Institute of Standards and Technology) EE/CS 3-180
11:15a-11:30a break   EE/CS 3-176
11:30a-12:00p Interfaces for mathematical communication Elena Smirnova (University of Western Ontario), Stephen M. Watt (University of Western Ontario) EE/CS 3-180
12:00p-12:30p A "Semantic Web" for science and technology communicating the content of mathematics "In the Large" Michael Kohlhase (International University Bremen) EE/CS 3-180
12:30p-2:00p lunch    
2:00p-2:30p How can we speak math? Richard Fateman (University of California) EE/CS 3-180
2:30p-3:00p Overview of accessible math Neil Soiffer (Design Science, Inc.) EE/CS 3-180
3:00p-3:30p Discussion and coffee break   EE/CS 3-180
3:30p-4:00p Multilingual mathematical e-document processing Azzeddine Lazrek (Cadi Ayyad University) EE/CS 3-180
4:00p-4:30p Advanced language technologies for mathematical markup Olga Caprotti (University of Helsinki) EE/CS 3-180
4:30p-4:45p Closing discussion   EE/CS 3-180

LIST OF CONFIRMED PARTICIPANTS

Name Department Affiliation
Douglas N. Arnold Institute for Mathematics and its Applications University of Minnesota Twin Cities
Donald G. Aronson Institute for Mathematics and its Applications University of Minnesota Twin Cities
Jonathan Borwein Department of Computer Science Dalhousie University
Thierry Bouche Mathematiques Université de Grenoble I (Joseph Fourier)
Drew Burton Systems Department American Mathematical Society
Olga Caprotti Mathematics and Statistics Department University of Helsinki
Davide P. Cervone Department of Mathematics Union College-Union University
Tim Cole Mathematics Library University of Illinois at Urbana-Champaign
Maxwell Collins   University of Minnesota Twin Cities
Joseph Angus Corneli    
James Davenport Department of Computer Science University of Bath
Keith Dennis Department of Mathematics Cornell University
Jacques Distler Department of Physics University of Texas
Michael Doob Department of Mathematics University of Manitoba
Kenneth R. Driessel Department of Mathematics Iowa State University
Richard Fateman Computer Science Division, EECS University of California
Thomas Fischer   State and University Library Goettingen
Kristine Fowler Mathematics Library University of Minnesota Twin Cities
Edward A. Fox Department of Computer Science Virginia Polytechnic Institute and State University
Michael E. Gage Department of Mathematics University of Rochester
John Gardner   Oregon State University
Lael Gatewood Department of Laboratory Medicine and Pathobiology University of Minnesota Twin Cities
Jason E. Gower Institute for Mathematics and its Applications University of Minnesota Twin Cities
Barbara K. Hamilton Library IDA-CCR
David Harvey Department of Mathematics Harvard University
Russ Herman Department of Mathematics and Statistics University of North Carolina
Evelyne Hubert Project CAFE Institut National de Recherche en Informatique Automatique (INRIA)
Carol Hutchins Courant Institute of Math Science Library New York University
Patrick Ion Associate Editor Mathematical Reviews
Peter Jipsen Department of Mathematics and Computer Science Chapman University
Erich Kaltofen Department of Mathematics North Carolina State University
Gene Klotz Department of Mathematics and Statistics Swarthmore College
Michael Kohlhase School of Engineering and Science International University Bremen
Aaron Krowne   Emory University
Gavin LaRose Department of Mathematics University of Michigan
Yves Laurent Directeur de Recherches Université de Grenoble I (Joseph Fourier)
Azzeddine Lazrek Deptartment of Computer Science Cadi Ayyad University
Paul Libbrecht Omega Group Universität des Saarlandes
Birgit Loch Department of Mathematics and Computer Science University of Southern Queensland
Mason Macklem   Dalhousie University
Manolis Mavrikis School of Mathematics and Statistics University of Edinburgh
Richard P. McGehee School of Mathematics University of Minnesota Twin Cities
Bruce R. Miller National Institute of Standards and Technology National Institute of Standards and Technology
Robert Miner   Design Science, Inc.
Lawrence Moore Department of Mathematics Duke University
Rajesh Munavalli   Design Science, Inc.
Andrew M. Odlyzko Digital Technology Center University of Minnesota Twin Cities
Loïc Pottier   Institut National de Recherche en Informatique Automatique (INRIA)
T. V. Raman   Google Inc.
Ross Reedstrom The Connexions Project Rice University
Robby Robson   Eduworks Corporation
Jonathan Rogness School of Mathematics University of Minnesota Twin Cities
David W. Ruddy Project Euclid Cornell University
David Rusin Department of Mathematical Sciences Northern Illinois University
Arnd Scheel Institute for Mathematics and its Applications University of Minnesota Twin Cities
Mika Seppala Mathematics and Statistics Department University of Helsinki
Alan P. Sexton School of Computer Science University of Birmingham
Chehrzad Shakiban Institute of Mathematics and its Applications University of Minnesota Twin Cities
Roger Sidje Department of Mathematics University of Queensland
Kyle Siegrist Department of Mathematics Science University of Alabama
Elena Smirnova Department of Computer Science University of Western Ontario
David A. Smith Department of Mathematics Duke University
Neil Soiffer Department of Development Design Science, Inc.
Petr Sojka Faculty of Informatics Masaryk University
Volker Sorge School of Computer Science University of Birmingham
Thomas Speyer   John Wiley & Sons
Ioan Alexandru Sucan   Rice University
Masakazu Suzuki Faculty of Mathematics Kyushu University
Andrzej Sylwestrzak ICM University of Warsaw
Eduardo Tabacman Department of Development Design Science, Inc.
Philippe Tondeur Department of Mathematics University of Illinois at Urbana-Champaign
Paul Topping Department of Management Design Science, Inc.
Martha Tucker Mathematics Research Library University of Washington
John Voight Institute for Mathematics and its Applications University of Minnesota Twin Cities
Bernd Wegner Fachbereich Mathematik TU Berlin
Eric Weisstein   Wolfram Research, Inc.
Esther R. Widiasih School of Mathematics University of Minnesota Twin Cities
Abdou Youssef Department of Computer Science George Washington University

©2006 Regents of the University of Minnesota. All rights reserved.
The University of Minnesota is an equal opportunity educator and employer.
Trouble seeing the text? | Contact U of M | Privacy
Last modified on