-
1
-
-
0348122120
-
-
W3C Working Draft of 24. Sep. 2009, World Wide Web Consortium
-
Ausbrooks, R., Carlisle, S. B. D., Chavchanidze, G., Dalmas, S., Devitt, S., Diaz, A., Dooley, S., Hunter, R., Ion, P., Kohlhase, M., Lazrek, A., Libbrecht, P., Miller, B., Miner, R., Sargent, M., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 3. 0. W3C Working Draft of 24. Sep. 2009, World Wide Web Consortium, 2009.
-
(2009)
Mathematical Markup Language (MathML) version 3.0
-
-
Ausbrooks, R.1
Carlisle, S.B.D.2
Chavchanidze, G.3
Dalmas, S.4
Devitt, S.5
Diaz, A.6
Dooley, S.7
Hunter, R.8
Ion, P.9
Kohlhase, M.10
Lazrek, A.11
Libbrecht, P.12
Miller, B.13
Miner, R.14
Sargent, M.15
Smith, B.16
Soiffer, N.17
Sutor, R.18
Watt, S.19
-
3
-
-
77952876181
-
-
arXiv. org e-Print archive, December 2007
-
arXiv. org e-Print archive. http://www. arxiv. org. December 2007.
-
-
-
-
4
-
-
33745656291
-
-
Technical report, The Open Math Society
-
Buswell, S., Caprotti, O., Carlisle, D. P., Dewar, M. C., Gaetano, M., Kohlhase, M.: 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
-
5
-
-
84874316647
-
An architecture for linguistic and semantic analysis on the arXMLiv corpus
-
Ginev, D., Jucovschi, C., Anca, S., Grigore, M., David, C., Kohlhase, M.: An architecture for linguistic and semantic analysis on the arXMLiv corpus. In: Applications of semantic technologies (AST) workshop at informatik (2009).
-
(2009)
Applications of semantic technologies (AST) workshop at informatik
-
-
Ginev, D.1
Jucovschi, C.2
Anca, S.3
Grigore, M.4
David, C.5
Kohlhase, M.6
-
8
-
-
33749635061
-
A search engine for mathematical formulae
-
In: Ida, T., Calmet, J., Wang, D. (eds.), AISC'2006, number 4120 in LNAI, Springer, Berlin
-
Kohlhase, M., Şucan, I.: A search engine for mathematical formulae. In: Ida, T., Calmet, J., Wang, D. (eds.) Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006, number 4120 in LNAI, pp. 241-253. Springer, Berlin (2006).
-
(2006)
Proceedings of Artificial Intelligence and Symbolic Computation
, pp. 241-253
-
-
Kohlhase, M.1
Şucan, I.2
-
9
-
-
77952877215
-
-
Mathplayer: Speech instructions and examples
-
Mathplayer: Speech instructions and examples. http://www. dessci. com/en/products/mathplayer/tech/accessibility. htm.
-
-
-
-
10
-
-
77952879618
-
-
Math Web Search, December 2008
-
Math Web Search. http://kwarc. info/projects/mws/. December 2008.
-
-
-
-
11
-
-
77954875049
-
-
Web Manual at, September 2007
-
EX to xml converter. Web Manual at http://dlmf. nist. gov/LaTeXML/. September 2007.
-
EX to xml converter
-
-
Miller, B.1
-
12
-
-
84896692132
-
EX, a comparison study
-
In: Sojka, P. (ed.), DML 2009 Workshop. Masaryk University, Brno
-
EX, a comparison study. In: Sojka, P. (ed.) Towards Digital Mathematics Library, DML 2009 Workshop. Masaryk University, Brno (2009).
-
(2009)
Towards Digital Mathematics Library
-
-
Stamerjohanns, H.1
Ginev, D.2
David, C.3
Misev, D.4
Zamdzhiev, V.5
Kohlhase, M.6
-
13
-
-
51049124535
-
Transforming the arχiv to XML
-
In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.), 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, 28 July-1 August 2008, Proceedings, number 5144 in LNAI, Springer, Berlin
-
Stamerjohanns, H., Kohlhase, M.: Transforming the arχiv to XML. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, 28 July-1 August 2008, Proceedings, number 5144 in LNAI, pp. 574-582. Springer, Berlin (2008).
-
(2008)
Intelligent Computer Mathematics
, pp. 574-582
-
-
Stamerjohanns, H.1
Kohlhase, M.2
-
14
-
-
77952878279
-
-
TeX4ht: LaTeX and TeX for hypertext
-
TeX4ht: LaTeX and TeX for hypertext. http://www. tug. org/applications/tex4ht/mn. html.
-
-
-
-
15
-
-
0348155932
-
Extracting mathematical semantics from latex documents
-
number 2901 in LNCS, Mumbai, India. Springer, Berlin
-
van den Brand, M., Stuber, J.: Extracting mathematical semantics from latex documents. In: Proceedings of International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003), number 2901 in LNCS, pp. 160-173, Mumbai, India. Springer, Berlin (2003).
-
(2003)
Proceedings of International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003)
, pp. 160-173
-
-
van den Brand, M.1
Stuber, J.2
-
16
-
-
77952877130
-
-
Zentralblatt MATH, October 2009
-
Zentralblatt MATH. http://www. zentralblatt-math. org. October 2009.
-
-
-
|