NA-MKM
The North American Chapter of The MKM Consortium
What is MKM?
Mathematical Knowledge Management (MKM) is an exciting new field in
the intersection of mathematics and computer science. The need for
good MKM is great: mathematical knowledge is vital to engineering,
science, and mathematics itself, and it is used by millions of people.
The challenge of MKM is also great: mathematical knowledge is
unsurpassed in its extent, richness, and interconnectedness. Current
technology is not capable of fulfilling this need and meeting this
challenge. More sophisticated technology based on new theory is
required.
What is the MKM Consortium?
The MKM Consortium is a group of researchers, software developers,
mathematics practitioners, librarians, and publishers interested in
MKM founded under the leadership of Michiel Hazewinkel in December
2001.
What is the Purpose of NA-MKM?
The purpose of NA-MKM is to advance MKM in North America.
Conferences of the MKM Consortium
- MKM
2001, RISC, Schloss Hagenberg, Austria, September 24-26, 2001.
- MKM 2003,
Bertinoro, Italy, February 16-18, 2003.
- MKM 2004, Bialowieza,
Poland, September 19-21, 2004.
Activities of the North American Chapter
- NA-MKM 2002,
McMaster University, Hamilton, Ontario, Canada, June 12-13, 2002.
- NA-MKM 2004,
Joint Mathematics Meetings, Phoenix, Arizona, USA, January 6, 2004.
Activities of the European Chapter
NA-MKM Mailing List
To subscribe to the NA-MKM Mailing List, send e-mail to
majordomo@imps.mcmaster.ca
with the following command in the body of your e-mail message:
subscribe namkm
Members of the NA-MKM Mailing List are automatically considered
members of NA-MKM.
Resources
Formal Digital Mathematics Libraries
Maintained by William M. Farmer (wmfarmer@mcmaster.ca).