OpenMath - PDFSEARCH.IO - Document Search Engine

OpenMath
Results: 60

#	Item
31	Lurch: A Word Processor Built on OpenMath that Can Check Mathematical Reasoning 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:00:58 Mathematics OpenMath OMDoc Lurch Mathematical proof Michael Kohlhase TeX Notice of electronic filing Expression Computing Markup languages Mathematical markup languages
32	OpenMath Preface This volume contains the papers presented at the 25th OpenMath Workshop held on July 10, 2013 in Bath. There were 3 submissions. Each submission was reviewed by at least 3, and on the average 3.3, progra Add to Reading List Source URL: ceur-ws.org - Date: 2013-07-10 09:17:58
33	Interactive Mathematical Videos Hans Cuypers & Jan Willem Knopper Department of Mathematics Eindhoven University of Technology June 21, 2013 Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:32 Human–computer interaction MathML Interactive video OpenMath Web page OMDoc Interactivity JsMath World Wide Web Markup languages Mathematical markup languages Computing
34	Towards Automatic Generation of Domain-Specific Mathematical Input Support Eric Andr`es∗ Bastiaan Heeren Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Computing Generic programming OpenMath Least common multiple Template Fraction Function Mathematics Elementary arithmetic Numbers
35	Microsoft PowerPoint - Brian_Palmer Add to Reading List Source URL: www.nmspacegrant.com Language: English - Date: 2011-04-27 16:12:55 Web standards MathML OpenMath XUL Function Mathematics HTML Model–view–controller OMDoc Computing Markup languages Mathematical markup languages
36	Microsoft PowerPoint - palmer Add to Reading List Source URL: www.nmspacegrant.com Language: English - Date: 2011-04-27 16:12:19 Notation OpenMath MathML LaTeX TeX OMDoc Markup languages Computing Mathematical markup languages
37	Math on the Web: A Status Report September, 2002 Focus: The Second International MathML Conference by Robert Miner and Paul Topping, Design Science, Inc. Add to Reading List Source URL: www.dessci.com Language: English - Date: 2011-07-12 13:30:29 Software Mathematical markup languages Formula editors MathML MathPlayer Design Science Cross-platform software OpenMath Mathematical notation Computing Markup languages Mathematical software
38	Welcome to MathML how to present your math content Hans Hagen Add to Reading List Source URL: www.pragma-ade.com Language: English - Date: 2010-05-06 11:53:35 HTML TeX XML Typesetting ConTeXt Standard Generalized Markup Language OpenMath Formula editor Computing Markup languages MathML
39	Introductory User’s Guide to Regular GELLMU Version[removed]release, July 2007 William F. Hammond Dept. of Mathematics & Statistics University at Albany Add to Reading List Source URL: www.albany.edu Language: English - Date: 2014-09-04 22:31:50 MathML Standard Generalized Markup Language XML Mathematical markup languages LaTeX Document Type Definition TeX OpenMath Computing Markup languages HTML
40	The Importance of MathML to Mathematics Communication Robert Miner Add to Reading List Source URL: www.ams.org Language: English - Date: 2005-03-29 15:51:10 MathML MathPlayer OpenMath Design Science Mathematical notation HTML XML Mathematica MathJax Computing Markup languages Mathematical markup languages