Zobrazeno 1 - 10
of 1 770
pro vyhledávání: '"mathematical knowledge management"'
Autor:
Lange, Christoph
Publikováno v:
S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis. The Semantic Web: Research and Applications. ESWC 2008. LNCS 5021, Springer 2008
SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge
Externí odkaz:
http://arxiv.org/abs/1003.5196
Publikováno v:
Studies in Logic, Grammar and Rhetoric, 18:51-66, 2009
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that languag
Externí odkaz:
http://arxiv.org/abs/0805.1386
Autor:
Hazewinkel, Michiel
In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval.
Comment: Keynote speech at the November, 2003 MKM meeting ar Herriott-Watt, Edinburg, UK.
Comment: Keynote speech at the November, 2003 MKM meeting ar Herriott-Watt, Edinburg, UK.
Externí odkaz:
http://arxiv.org/abs/cs/0410055
Autor:
Muñoz, Edrisi, Capón-García, Elisabet, Laínez-Aguirre, José M., Espuña, Antonio, Puigjaner, Luis
Publikováno v:
In Computers and Chemical Engineering 4 July 2014 66:139-150
Autor:
Jonathan Borwein, William M. Farmer
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical know
This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selec
Autor:
Michael Kohlhase
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute fo