A Review of Mathematical Knowledge Management
From MaRDI portal
Recommendations
- Some Traditional Mathematical Knowledge Management
- scientific article; zbMATH DE number 1951628
- Foreword to the special issue on authoring, digitalization and management of mathematical knowledge
- From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management
- Mathematical knowledge representation: semantic models and formalisms
Cites work
- A Framework for Interactive Proof
- Automating Signature Evolution in Logical Theories
- Cross-Curriculum Search for Intergeo
- Formal Representation of Mathematics in a Dependently Typed Set Theory
- scientific article; zbMATH DE number 1951625 (Why is no real title available?)
- scientific article; zbMATH DE number 1951627 (Why is no real title available?)
- scientific article; zbMATH DE number 1951628 (Why is no real title available?)
- scientific article; zbMATH DE number 1951630 (Why is no real title available?)
- scientific article; zbMATH DE number 1951633 (Why is no real title available?)
- scientific article; zbMATH DE number 1521550 (Why is no real title available?)
- Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings
- Knowledge representation and management in ACTIVEMATH
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers.
- Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11--12, 2006. Proceedings.
- Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings
- Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings.
- Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001
- Methods of Relevance Ranking and Hit-content Generation in Math Search
- MKM
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- On dynamically presenting a topology course
- Practical forms of type theory
- Roles of Math Search in Mathematics
- Specifying Strategies for Exercises
- Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Cited in
(16)- Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings
- Foreword to the special focus on mathematics, data and knowledge
- Mathematical knowledge representation: semantic models and formalisms
- Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001
- From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management
- Metaknowledge
- Math Literate Knowledge Management via Induced Material
- Some Traditional Mathematical Knowledge Management
- scientific article; zbMATH DE number 1951628 (Why is no real title available?)
- scientific article; zbMATH DE number 2078373 (Why is no real title available?)
- Publication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management*
- Mathematical Knowledge Management
- Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
- Towards a repository for scientific theory: development of a technical framework and prototype based on TheoryML
- An evaluation of NLP methods to extract mathematical token descriptors
- Foreword to the special issue on authoring, digitalization and management of mathematical knowledge
This page was built for publication: A Review of Mathematical Knowledge Management
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637281)
