The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing
Knowledge Representation and Management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence
On Dynamically Presenting a Topology Course
Annals of Mathematics and Artificial Intelligence
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
A Query Language for a Metadata Framework about Mathematical Resources
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Digitisation, Representation, and Formalisation
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Managing Digital Mathematical Discourse
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
On a "buzzword": hierarchical structure
Software pioneers
MKM: a new interdisciplinary field of research
ACM SIGSAM Bulletin
A Framework for Interactive Proof
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Formal Representation of Mathematics in a Dependently Typed Set Theory
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Methods of Relevance Ranking and Hit-content Generation in Math Search
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Automating Signature Evolution in Logical Theories
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Cross-Curriculum Search for Intergeo
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
A research center for augmenting human intellect
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
An exploration in the space of mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
XML-izing mizar: making semantic processing and presentation of MML easy
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Mathematical practice, crowdsourcing, and social machines
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Understanding branch cuts of expressions
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
Mathematical Knowledge Management (MKM), as a field, has seen tremendous growth in the last few years. This period was one where many research threads were started and the field was defining itself. We believe that we are now in a position to use the MKM body of knowledge as a means to define what MKM is, what it worries about, etc. In this paper, we review the literature of MKM and gather various metadata from these papers. After offering some definitions surrounding MKM, we analyze the metadata we have gathered from these papers, in an effort to cast more light on the field of MKM and its evolution.