Skip to search formSkip to main contentSkip to account menu

Mathematical knowledge management

Known as: MKM 
Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing literature on mathematics. It… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Artificial intelligenceDatabaseInterconnectednessMathematics Subject Classification

Broader (1)

Information science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Segmentation of brain MRI image based on clustering algorithm
Medical images are widely used by the physicians to find abnormalities in human bodies. Physicians use the findings to plan… 
2014
2014
ANALISIS KREDIT BERMASALAH SEKTOR UMKM DAN MKM PADA PERBANKAN INDONESIA
Nurul Khotimah, 91211037. ANALISIS KREDIT BERMASALAH SEKTOR UMKM dan MKM PADA PERBANKAN INDONESIA Kata kunci : Kredit Bermasalah… 
2013
2013
NNexus Glasses: a drop-in showcase for wikification
This paper describes a general drop-in approach for showcasing web services and web user interfaces, provided they are accessible… 
2012
2012
Cost effectiveness of agri-environment schemes for biodiversity protection and ecosystem service restoration (CASPER – MKM Nature)
2012
2012
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and…
2010
2010
Reasoning about memory layouts
  • H. Gast
  • Formal Methods Syst. Des.
  • 2010
  • Corpus ID: 18360024
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such… 
2008
2008
A Language for Mathematical Knowledge Management
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising… 
2008
2008
An Exchange Format for Modular Knowledge
We present a knowledge exchange format that is designed to support the exchange of modularly structured information in… 
1994
1994
K-AR DATED PALYNOFLORAS IN TASMANIA 1: EARLY OLIGOCENE, PROTEACIDITES TUBERCULATUS ZONE SEDIMENTS, WILMOT DAM, NORTHWESTERN TASMANIA
Tertiaty lake sediments at Wilmot Dam, northwestern Tasmania, are dated as Lower Proteacidites tuberculatus Zone, based on the… 
1974
1974
Biased Textbooks: Images of Males and Females in Elementary School Textbooks in Five Subject Areas; What You Can Do about Biased Textbooks.
This research report focuses on the latent content of textbooks, the information attempting to instruct the child in ethical and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)