OpenMath - PDFSEARCH.IO - Document Search Engine

OpenMath
Results: 60

#	Item
21	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 Searching Mathematical markup languages MathML Database theory Query expansion FO Search engine indexing OpenMath Query Information science Information retrieval Markup languages
22	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 Computing Finite model theory Information Michael Kohlhase MathML Information retrieval Searching OpenMath Search engine indexing Information science Markup languages Mathematical markup languages
23	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 Markup languages Mathematical markup languages MathML OMDoc OpenMath TeX Maple MathType Mathematical notation Computing Software Mathematical software
24	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 Markup languages Mathematical markup languages Functional languages OpenMath MathML Mathematical notation Mathematica Mathematics Computer algebra system Computing Mathematical software Science
25	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 MathML HTML XML DocBook Attribute OpenMath Computing Markup languages Web standards
26	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 Technical communication Typesetting OpenMath OMDoc Literate programming TeX MathML XML Michael Kohlhase Computing Markup languages Mathematical markup languages
27	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 Mathematical software Mathematical markup languages MathML OpenMath Chemical Markup Language Mathematical notation Denotational semantics Mathematica XML Computing Markup languages Science
28	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 Predicate logic Markup languages Mathematical markup languages Computability theory OpenMath First-order logic Quantification MathML Lambda calculus Logic Mathematical logic Mathematics
29	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 Lisp programming language Functional programming Functional languages Type theory Data types OpenMath Read–eval–print loop Scala Type inference Computing Software engineering Computer programming
30	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 Cross-platform software Functional languages Markup languages Mathematical markup languages Mathematical logic LURCH Mathematics OpenMath Mathematical proof Software Computing Mathematical software

UPDATE