OpenMath

Results: 60



#Item
21Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy Michal Ružiˇ ˚ cka

Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy Michal Ružiˇ ˚ cka

Add to Reading List

Source URL: research.nii.ac.jp

Language: English - Date: 2014-11-26 23:45:54
22MathWebSearch at NTCIR-11: Keywords, Frontend, & Scalability Radu Hambasan & Michael Kohlhase & Corneliu Prodescu http://kwarc.info/kohlhase Computer Science Jacobs University Bremen, Germany

MathWebSearch at NTCIR-11: Keywords, Frontend, & Scalability Radu Hambasan & Michael Kohlhase & Corneliu Prodescu http://kwarc.info/kohlhase Computer Science Jacobs University Bremen, Germany

Add to Reading List

Source URL: research.nii.ac.jp

Language: English - Date: 2014-12-15 20:05:37
23Interfaces for mathematical communication Elena Smirnova and

Interfaces for mathematical communication Elena Smirnova and

Add to Reading List

Source URL: www.ima.umn.edu

Language: English - Date: 2013-05-14 09:45:13
24A Critique of OpenMath and Thoughts on Encoding Mathematics, January, 2001 Richard Fateman Computer Science Division University of California, Berkeley January 17, 2001

A Critique of OpenMath and Thoughts on Encoding Mathematics, January, 2001 Richard Fateman Computer Science Division University of California, Berkeley January 17, 2001

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2002-09-11 13:47:29
25MathML Presentation Markup for the Impatient Hussein Shafie, Pixware SARL This article is published under the Creative Commons

MathML Presentation Markup for the Impatient Hussein Shafie, Pixware SARL This article is published under the Creative Commons "Attribution-Share Alike" license. November 11, 2012

Add to Reading List

Source URL: www.xmlmind.com

Language: English - Date: 2015-01-25 03:52:57
26Literate Sources for Content Dictionaries Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; [removed]

Literate Sources for Content Dictionaries Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; [removed]

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-06 08:50:41
27The Declaratron, semantic specification for scientific computation using MathML Dave Murray-Rust1 and Peter Murray-Rust2 1 [removed], Department of Informatics, University of Edinburgh

The Declaratron, semantic specification for scientific computation using MathML Dave Murray-Rust1 and Peter Murray-Rust2 1 [removed], Department of Informatics, University of Edinburgh

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-06 08:54:02
28Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden;

Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden;

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-06 08:50:41
29The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a

The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-09 06:07:30
30Lurch: A Word Processor that Can Grade Students’ Proofs Nathan C. Carter1 and Kenneth G. Monks2 1 2

Lurch: A Word Processor that Can Grade Students’ Proofs Nathan C. Carter1 and Kenneth G. Monks2 1 2

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-07-10 02:03:08