-
1
-
-
37849045104
-
Die Architektur der Mathematik
-
Springer, Berlin, Heidelberg, New York
-
Bourbaki, N.: Die Architektur der Mathematik. Mathematiker über die Mathematik. Springer, Berlin, Heidelberg, New York (1974)
-
(1974)
Mathematiker über die Mathematik
-
-
Bourbaki, N.1
-
3
-
-
48049093171
-
Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I,. Monatsheft f. Mathematik und
-
Gödel, K.: Über formal unentscheidbare Sätze der Principia Mathematica und verwandte Systeme I,. Monatsheft f. Mathematik und Physik (1931-1932) 147f
-
(1931)
Physik
-
-
Gödel, K.1
-
4
-
-
51449109662
-
-
Jena: A Semantic Web Framework for Java. http://jena.sourceforge.net (last visited: 09/15/2007)
-
Jena: A Semantic Web Framework for Java. http://jena.sourceforge.net (last visited: 09/15/2007)
-
-
-
-
5
-
-
51449118471
-
-
The Apache Software Foundation: Apache Lucene. http://lucene.apache.org/ (last visited: 09/15/2007)
-
The Apache Software Foundation: Apache Lucene. http://lucene.apache.org/ (last visited: 09/15/2007)
-
-
-
-
6
-
-
0004171335
-
An Ontology for Engineering Mathematics
-
Technical Report KSL-94-18, Stanford University
-
Gruber, T., Olsen, G.: An Ontology for Engineering Mathematics. Technical Report KSL-94-18, Stanford University (1994)
-
(1994)
-
-
Gruber, T.1
Olsen, G.2
-
7
-
-
0035201140
-
MBase: Representing Knowledge and Context for the Intergration of Mathematical Software Systems
-
M. Kohlhase, A. Franke, "MBase: Representing Knowledge and Context for the Intergration of Mathematical Software Systems.", Journal of Symbolic Computation 23:4, pp. 365-402 (2001)
-
(2001)
Journal of Symbolic Computation
, vol.23
, Issue.4
, pp. 365-402
-
-
Kohlhase, M.1
Franke, A.2
-
8
-
-
22944465027
-
-
Master's thesis, Universität des Saarlandes, Fachbereich Computerlinguistik November
-
Baur, J.: Syntax und Semantik mathematischer T6exte. Master's thesis, Universität des Saarlandes, Fachbereich Computerlinguistik (November 1999)
-
(1999)
Syntax und Semantik mathematischer T6exte
-
-
Baur, J.1
-
9
-
-
51449101297
-
-
Wolfram Research: MathWorld. http://mathworld.wolfram.com (last visited: 09/15/2007)
-
Wolfram Research: MathWorld. http://mathworld.wolfram.com (last visited: 09/15/2007)
-
-
-
-
11
-
-
51449101546
-
-
Fellbaum, C.: WordNet. http://wordnet.princeton.edu (last visited: 09/15/2007)
-
Fellbaum, C.: WordNet. http://wordnet.princeton.edu (last visited: 09/15/2007)
-
-
-
-
12
-
-
51449084726
-
-
GermaNet Team: GermaNet. http://www.sfs.unituebingen.de/lsd/english.html (last visited: 09/15/2007)
-
GermaNet Team: GermaNet. http://www.sfs.unituebingen.de/lsd/english.html (last visited: 09/15/2007)
-
-
-
-
14
-
-
33746227615
-
MoMM - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics
-
Urban, J.: MoMM - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. Internation Journal on Artificial Intelligence Tools (15(1)) (2006) 109-130
-
(2006)
Internation Journal on Artificial Intelligence Tools (15(1))
, pp. 109-130
-
-
Urban, J.1
-
17
-
-
51449098441
-
-
Pinkall, M., Siekmann, J., Benzmüller, C., and Kruijff-Korbayova, I.: DIALOG. http://www.ags.unisb.de/~dialog/ (last visited: 09/15/2007)
-
Pinkall, M., Siekmann, J., Benzmüller, C., and Kruijff-Korbayova, I.: DIALOG. http://www.ags.unisb.de/~dialog/ (last visited: 09/15/2007)
-
-
-
-
18
-
-
51449110430
-
-
Asperti, A.,.Padovani, L., Sacerdoti Coen, C. and Schena, I.: HELM and the Semantic Web. In Boulton, R.J., Jackson, P.B., eds.: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. 2152 of Lecture Notes in Computer Science., Springer (2001)
-
Asperti, A.,.Padovani, L., Sacerdoti Coen, C. and Schena, I.: HELM and the Semantic Web. In Boulton, R.J., Jackson, P.B., eds.: Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Volume 2152 of Lecture Notes in Computer Science., Springer (2001)
-
-
-
-
22
-
-
51449083868
-
-
Grottke, S., Jeschke, S., Natho, N., Seiler, R.: mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics. Proceedings of the 3rd International Conference on Multimedia and ICTs in Education, June 7-10, 2005, Caceres/Spain (2005)
-
(2005)
mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics. Proceedings of the 3rd International Conference on Multimedia and ICTs in Education, June 7-10, 2005, Caceres/Spain
-
-
Grottke, S.1
Jeschke, S.2
Natho, N.3
Seiler, R.4
-
23
-
-
51449105944
-
-
W3C: Web Ontology Language. http://www.w3c.org/2004/OWL (last visited: 09/15/2007)
-
W3C: Web Ontology Language. http://www.w3c.org/2004/OWL (last visited: 09/15/2007)
-
-
-
-
24
-
-
51449101764
-
-
The TEI Consortium: Text Encoding Initiative. http://www.tei-c.org (last visited: 09/15/2007)
-
The TEI Consortium: Text Encoding Initiative. http://www.tei-c.org (last visited: 09/15/2007)
-
-
-
-
25
-
-
51449091018
-
-
W3C: MathML. http://www.w3.org/Math (last visited: 09/15/2007)
-
W3C: MathML. http://www.w3.org/Math (last visited: 09/15/2007)
-
-
-
-
26
-
-
51449087172
-
-
Müller, S.: TRALE. http://www.cl.unibremen.de/Software/Trale/index. html (last visited: 09/15/2007)
-
Müller, S.: TRALE. http://www.cl.unibremen.de/Software/Trale/index. html (last visited: 09/15/2007)
-
-
-
-
27
-
-
37849022315
-
Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar für das Deutsche
-
Max Niemeyer Verlag, Tübingen
-
Müller, S.: Deutsche Syntax deklarativ: Head-Driven Phrase Structure Grammar für das Deutsche. In: Linguistische Arbeiten, No. 394. Max Niemeyer Verlag, Tübingen (2005)
-
(2005)
Linguistische Arbeiten
, Issue.394
-
-
Müller, S.1
-
28
-
-
51449091019
-
-
Mozilla Foundation: Rhino. http://www.mozilla.org/rhino/ (last visited: 09/15/2007)
-
Mozilla Foundation: Rhino. http://www.mozilla.org/rhino/ (last visited: 09/15/2007)
-
-
-
-
29
-
-
51449103021
-
-
W3C: SPARQL. http://www.w3.org/TR/rdfsparql-query/ (last visited: 09/15/2007)
-
W3C: SPARQL. http://www.w3.org/TR/rdfsparql-query/ (last visited: 09/15/2007)
-
-
-
-
30
-
-
51449107776
-
-
AT&T Research: Graphviz. www.graphviz.org/ (last visited: 09/15/2007)
-
AT&T Research: Graphviz. www.graphviz.org/ (last visited: 09/15/2007)
-
-
-
|