OpenMath - PDFSEARCH.IO - Document Search Engine

OpenMath
Results: 60

#	Item
11	Interactive Learning and Mathematical Calculus? Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, and Mark Spanbroek Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-12-08 03:07:51 Functions and mappings Differential calculus Mathematical analysis Theoretical computer science OpenMath Calculus Derivative Integral Function Lambda calculus Chain rule Exercise
12	26.3 Sentido Integrated EnvironmentSentido: an Integrated Environment for OMDoc Project Home http://www.matracas.org/sentido/index.en.html Add to Reading List Source URL: www.matracas.org Language: English - Date: 2013-11-02 09:14:46 Markup languages Mathematical markup languages Technical communication HTML Cross-platform software OMDoc MathML OpenMath Formula editor Wolfram Mathematica Parsing Search engine indexing
13	22nd OpenMath Workshop Editor: James H Davenport University of Bath July 9th 2009 Grand Bend Ontario Draft of book to be published by Add to Reading List Source URL: staff.bath.ac.uk Language: English - Date: 2009-07-09 19:30:42
14	Joint Proceedings of the 24th Workshop on OpenMath and the 7th Workshop on Mathematical User Interfaces (MathUI) and Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-10-17 12:20:56
15	The GF Mathematical Grammar Library: from OpenMath to natural languages Olga Caprotti1 and Jordi Saludes2 1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-11 09:34:33
16	Mathematical Computations for Linked Data Applications with OpenMath Ken Wenzel and Heiner Reinhardt Fraunhofer-Institute for Machine Tools and Forming Technology IWU, Chemnitz, Germany Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-09-15 15:29:14
17	Units and Dimensions in OpenMath James H. Davenport W.A. Naylor∗ Department of Computer Science University of Bath Victoria University of Wellington Bath BA2 7AY England New Zealand Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:18:06
18	Limitations in OpenMath Kevin Kofler, Peter Schodl, Arnold Neumaier Faculty of Mathematics University of Vienna, Austria Nordbergstr. 15, 1090 Wien, Austria , Add to Reading List Source URL: solon.cma.univie.ac.at Language: English - Date: 2010-04-29 08:05:30
19	Task: Version: Date: Add to Reading List Source URL: www.openmath.org Language: English - Date: 2013-12-16 11:18:06 OpenMath Mathematics Information MathML James H. Davenport Multiset Dictionary Obsessive–compulsive disorder OMDoc Markup languages Mathematical markup languages Computing
20	Cinderella: Computation, Complexity, Geometry Ulrich Kortenkamp, Freie Universit¨at Berlin July 2, 2002 This overview is a (very) slightly modified version of an original article to appear in the proceedings of ICMS 200 Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 15:29:04 Computing Analytic geometry OpenMath Cinderella Compass and straightedge constructions MathML Projective geometry Euclidean geometry Mathematics Geometry Markup languages Mathematical markup languages

UPDATE