Mathematical Knowledge is Mathematics' Treasure

NA-MKM 2004

Second North American Workshop on
Mathematical Knowledge Management

Joint Mathematics Meetings
Borein Room, Hyatt Regency Hotel
Phoenix, Arizona, USA
January 6, 2004

Workshop program

Tuesday, January 6, 2004

8:30 - 9:00   Refreshments and Registration
9:00 - 9:15   Opening Remarks
9:15 - 10:30   Invited Talk
Dr. Daniel W. Lozier, National Institute of Standards and Technology
"MKM and the NIST Digital Library of Mathematical Functions" Abstract PowerPoint Photo
10:30 - 10:45   Break
10:45 - 12:00   Short Presentations
Ben L. Di Vito, NASA Langley Research Center
"Hypatheon: A Mathematical Database for PVS Users" Abstract PDF Photo
Piotr Rudnicki, University of Alberta
"On a Repository of Formalized Mathematics" Abstract PDF Photo
Lori Lorigo, Cornell University
"Services of the Formal Digital Library and Proof Sharing" Abstract PowerPoint Photo
Susan Hezlet, London Mathematical Society
"The Open Archives Initiative and Payment Models -- A Learned Society Publisher's Perspective" Abstract PowerPoint Photo
12:00 - 1:30   Lunch
1:30 - 2:45   Invited Talk
Dr. Jonathan Borwein, Dalhousie University
"Advanced Collaborative Environments" Web site PowerPoint Photo
2:45 - 3:15   Break
3:15 - 4:15   Short Presentations
Jim Pitman, University of California at Berkeley
"The Mathematics Survey" Web site PDF Photo
Please look also at J. Pitman's paper "A strategy for open access to society publications".
Elena Smirnova, Stephen M. Watt, University of Western Ontario
"An Approach to Mathematical Notation Selection" Abstract PDF Photo
Bruce R. Miller, National Institute of Standards and Technology
"Authoring Mathematical Knowledge" Abstract PDF Photo
Bernd Wegner, Technische Universität Berlin
"MoWGLI -- Mathematics in the Semantic Web" Abstract PowerPoint Photo
4:15 - 4:30   Break
4:30 - 5:30   Final Discussion and Business Meeting

List of participants