article

MKM: a new interdisciplinary field of research

Author:

William M. FarmerAuthors Info & Claims

ACM SIGSAM Bulletin, Volume 38, Issue 2

Pages 47 - 52

https://doi.org/10.1145/1041791.1041795

Published: 01 June 2004 Publication History

Abstract

Mathematical Knowledge Management (MKM) is a new interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library (UDML), accessible via the World-Wide Web, that contains essentially all mathematical knowledge (intended for the public). The challenges facing MKM are daunting, but a UDML, even just partially constructed, would transform how mathematics is learned and practiced.

References

[1]

B. Buchberger, G. Gonnet, and M. Hazewinkel, editors. Mathematical Knowledge Management, 2003. Special issue of Annals of Mathematics and Artificial Intelligence, 38:1--232.

Digital Library

[2]

S. Dalmas, M. Gaëtano, and S. M. Watt. An OpenMath 1.0 implementation. In International Symposium on Symbolic and Algebraic Computation (ISSAC-97), pages 241--248. ACM Press, 1997.

Digital Library

[3]

Digital Library of Mathematical Functions (DLMF). Web: http://dlmf.nist.gov/.

[4]

FDL project. Web: http://www.nuprl.org/FDLproject/.

[5]

R. D. Jenks and R. S. Sutor. Axiom: The Scientific Computation System. Springer-Verlag, 1992.

Digital Library

[6]

Logosphere: A formal digital library. Web: http://www.logosphere.org/.

[7]

Mathematical Knowledge Management Network. Web: http://monet.nag.co.uk/mkm/index.html.

[8]

Mathematical Knowledge Management Symposium. Web: http://www.macs.hw.ac.uk/~fairouz/ mkm-symposium03/.

[9]

The Mizar system. Web: http://mizar.org/.

[10]

MKM 2001. Web: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/.

[11]

MKM 2003. Web: http://www.cs.unibo.it/MKM03/.

[12]

MKM 2004. Web: http://mizar.org/MKM2004/.

[13]

NA-MKM. Web: http://imps.mcmaster.ca/na-mkm/.

[14]

NA-MKM 2002. Web: http://imps.mcmaster.ca/na-mkm-2002/.

[15]

NA-MKM 2004. Web: http://imps.mcmaster.ca/na-mkm-2004/.

[16]

B. L. Di Vito. Hypatheon: A mathematical database for PVS users. Web: http://imps.mcmaster.ca/na-mkm-2004/proceedings/pdfsdivito.pdf.

[17]

W3C Math Home. Web: http://www.w3.org/Math/.

[18]

Wolfram Functions Site. Web: http://functions.wolfram.com/.

Cited By

Zou CLi XWu PXie H(2022)M2R: From Mathematical Models to Resource Description FrameworkWeb and Big Data10.1007/978-3-031-25198-6_18(225-238)Online publication date: 11-Aug-2022
https://dl.acm.org/doi/10.1007/978-3-031-25198-6_18
Ramírez-Noriega AMartínez-Ramírez YArmenta JMiranda SFigueroa Pérez JMendivil-Torres JJiménez S(2018)Towards a Mathematical Knowledge Management System: Ontology to Model Linear EquationsTrends and Advances in Information Systems and Technologies10.1007/978-3-319-77703-0_51(518-527)Online publication date: 2018
https://doi.org/10.1007/978-3-319-77703-0_51
Lange CKohlhase M(2013)Mashups Using Mathematical KnowledgeSemantic Mashups10.1007/978-3-642-36403-7_6(171-204)Online publication date: 2013
https://doi.org/10.1007/978-3-642-36403-7_6
Show More Cited By

Recommendations

Towards MKM in the large: modular representation and scalable software architecture
AISC'10/MKM'10/Calculemus'10: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two ...
Communities of practice in MKM: an extensional model
MKM'06: Proceedings of the 5th international conference on Mathematical Knowledge Management

We explore the social context of mathematical knowledge: Even though, the community of mathematicians may look homogeneous from the outside, it is actually structured into various sub-communities that differ in preferred notations, the choice of basic ...
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Calculemus '07 / MKM '07: Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference

The interest of the field of Mathematical Knowledge Management is predicated on the assumption that by investing into markup or formalization of mathematical knowledge, we can reap benefits in managing (creating, classifying, reusing, verifying, and ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSAM Bulletin

ACM SIGSAM Bulletin Volume 38, Issue 2

June 2004

23 pages

ISSN:0163-5824

DOI:10.1145/1041791

Issue’s Table of Contents

Copyright © 2004 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2004

Published in SIGSAM Volume 38, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
193
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zou CLi XWu PXie H(2022)M2R: From Mathematical Models to Resource Description FrameworkWeb and Big Data10.1007/978-3-031-25198-6_18(225-238)Online publication date: 11-Aug-2022
https://dl.acm.org/doi/10.1007/978-3-031-25198-6_18
Ramírez-Noriega AMartínez-Ramírez YArmenta JMiranda SFigueroa Pérez JMendivil-Torres JJiménez S(2018)Towards a Mathematical Knowledge Management System: Ontology to Model Linear EquationsTrends and Advances in Information Systems and Technologies10.1007/978-3-319-77703-0_51(518-527)Online publication date: 2018
https://doi.org/10.1007/978-3-319-77703-0_51
Lange CKohlhase M(2013)Mashups Using Mathematical KnowledgeSemantic Mashups10.1007/978-3-642-36403-7_6(171-204)Online publication date: 2013
https://doi.org/10.1007/978-3-642-36403-7_6
Ashino TYamashita Y(2012)Development of an Openmath Content Dictionary for Mathematical Knowledge of Materials Science and EngineeringData Science Journal10.2481/dsj.AMDS-00411(ASMD17-ASMD21)Online publication date: 2012
https://doi.org/10.2481/dsj.AMDS-004
Carette JFarmer W(2009)A Review of Mathematical Knowledge ManagementProceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics10.1007/978-3-642-02614-0_21(233-246)Online publication date: 3-Jul-2009
https://dl.acm.org/doi/10.1007/978-3-642-02614-0_21
Suresh PJoglekar GHsu SAkkisetty PHailemariam LJain AReklaitis GVenkatasubramanian V(2008)Onto MODEL: Ontological mathematical modeling knowledge management18th European Symposium on Computer Aided Process Engineering10.1016/S1570-7946(08)80170-8(985-990)Online publication date: 2008
https://doi.org/10.1016/S1570-7946(08)80170-8
Venkatasubramanian VZhao CJoglekar GJain AHailemariam LSuresh PAkkisetty PMorris KReklaitis G(2006)Ontological informatics infrastructure for pharmaceutical product development and manufacturingComputers & Chemical Engineering10.1016/j.compchemeng.2006.05.03630:10-12(1482-1496)Online publication date: Sep-2006
https://doi.org/10.1016/j.compchemeng.2006.05.036
Zhao CJain AHailemariam LSuresh PAkkisetty PJoglekar GVenkatasubramanian VReklaitis GMorris KBasu P(2006)Toward intelligent decision support for pharmaceutical product developmentJournal of Pharmaceutical Innovation10.1007/BF027848781:1(23-35)Online publication date: Sep-2006
https://doi.org/10.1007/BF02784878

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents