-
1
-
-
0348122120
-
-
W3C recommendation, World Wide Web Consortium
-
Ron Ausbrooks, Stephen Buswell, David Carlisle, Stephane Dalmas, Stan Devitt, Angel Diaz,Max Froumentin, Roger Hunter, Patrick Ion, Michael Kohlhase, Robert Miner, Nico Poppelier, Bruce Smith, Neil Soiffer, Robert Sutor, and Stephen Watt. Mathematical Markup Language (MathML) Version 2.0 (second edition). W3C recommendation, World Wide Web Consortium, 2003.
-
(2003)
Mathematical Markup Language (MathML) Version 2.0 (Second Edition)
-
-
Ausbrooks, R.1
Buswell, S.2
Carlisle, D.3
Dalmas, S.4
Devitt, S.5
Diaz, A.6
Froumentin, M.7
Hunter, R.8
Ion, P.9
Kohlhase, M.10
Miner, R.11
Poppelier, N.12
Smith, B.13
Soiffer, N.14
Sutor, R.15
Watt, S.16
-
2
-
-
84874310620
-
-
An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus, Appendix supplement
-
An Architecture for Linguistic and Semantic Analysis on the arXMLiv Corpus, Appendix supplement, http://www.kwarc.info/projects/lamapun/pubs/AST09- LaMaPUn+appendix.pdf.
-
-
-
-
3
-
-
84874287742
-
-
ARXIV.ORG. Cornell University Library at http://arxiv.org/, seen March 2009.
-
(2009)
-
-
-
4
-
-
84874327722
-
-
ARXMLIV. Project home page at http://arxmliv.kwarc.info/, seen March 2009.
-
-
-
-
5
-
-
84874322313
-
-
S. Buswell, O. Caprotti, D. P. Carlisle, M. C. Dewar, and M. Gaetano. The OpenMath Standard iii, 2003.
-
(2003)
The OpenMath Standard Iii
-
-
Buswell, S.1
Caprotti, O.2
Carlisle, D.P.3
Dewar, M.C.4
Gaetano, M.5
-
6
-
-
33745656291
-
-
Technical report, The Open Math Society
-
Stephen Buswell, Olga Caprotti, David P. Carlisle, Michael C. Dewar, Marc Gaetano, and Michael Kohlhase. The Open Math Standard, Version 2.0. Technical report, The Open Math Society, 2004.
-
(2004)
The Open Math Standard, Version 2.0
-
-
Buswell, S.1
Caprotti, O.2
Carlisle, D.P.3
Dewar, M.C.4
Gaetano, M.5
Kohlhase, M.6
-
14
-
-
7444236194
-
UIMA: An architectural approach to unstructured information processing in the corporate research environment
-
David Ferrucci and Adam Lally. UIMA: an architectural approach to unstructured information processing in the corporate research environment. Nat. Lang. Eng., 10(3-4):327-348, 2004.
-
(2004)
Nat. Lang. Eng.
, vol.10
, Issue.3-4
, pp. 327-348
-
-
Ferrucci, D.1
Lally, A.2
-
15
-
-
84874292390
-
-
seen March
-
GreaseMonkey-a Firefox extension for customizing web pages. http://diveintogreasemonkey.org, seen March 2009.
-
(2009)
-
-
-
16
-
-
84857132402
-
-
manuscript
-
Michael Kohlhase, Stefan Anca, Constantin Jucovschi, Alberto Gonzalez Palomo, and Ioan A. Sucan. MathWebSearch 0.4, A Semantic Search Engine for Mathematics. manuscript, 2008.
-
(2008)
MathWebSearch 0.4, A Semantic Search Engine for Mathematics
-
-
Kohlhase, M.1
Anca, S.2
Jucovschi, C.3
Gonzalez Palomo, A.4
Sucan, I.A.5
-
17
-
-
84874297930
-
Discourse representation theory
-
J. Verschueren, J.-O. stman, and J. Blommaert, editors Benjamins
-
Hans Kamp. Discourse Representation Theory. In J. Verschueren, J.-O. stman, and J. Blommaert, editors, Handbook of Pragmatics, pages 253-257. Benjamins, 1995.
-
(1995)
Handbook of Pragmatics
, pp. 253-257
-
-
Kamp, H.1
-
19
-
-
33749635061
-
A search engine for mathematical formulae
-
Tetsuo Ida, Jacques Calmet, and Dongming Wang, editors Springer Verlag
-
Michael Kohlhase and Ioan Sucan. A Search Engine for Mathematical Formulae. In Tetsuo Ida, Jacques Calmet, and Dongming Wang, editors, Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006, number 4120 in LNAI, pages 241-253. Springer Verlag, 2006.
-
(2006)
Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006
, Issue.4120
, pp. 241-253
-
-
Kohlhase, M.1
Sucan, I.2
-
21
-
-
84874314384
-
-
seen Feb
-
Math Web Search. http://kwarc.info/projects/mws/, seen Feb. 2009.
-
(2009)
-
-
-
22
-
-
84874299362
-
-
seen September2007
-
Bruce Miller. LaTeXML: A LATEX to XML Converter. Web Manual at http://dlmf. nist.gov/LaTeXML/, seen September2007.
-
-
-
-
26
-
-
51049124535
-
Transforming the ar-iv to xml
-
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk, editors, MKM 2008 Birmingham, UK, July 28-August 1, 2008, Proceedings, number 5144 in LNAI. Springer Verlag
-
Heinrich Stamerjohanns and Michael Kohlhase. Transforming the ar-iv to XML. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk, editors, 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, number 5144 in LNAI, pages 574-582. Springer Verlag, 2008.
-
(2008)
Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference
, pp. 574-582
-
-
Stamerjohanns, H.1
Kohlhase, M.2
-
27
-
-
84874312303
-
-
TF-IDF measurement, http://nlp.cs.swarthmore.edu/richardw/papers/ sparckjones2004-idf.pdf.
-
-
-
|