- By
**cala** - Follow User

- 47 Views
- Uploaded on

Download Presentation
## PowerPoint Slideshow about 'Mathematics in the internet' - cala

**An Image/Link below is provided (as is) to download presentation**

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript

We need to be able to

- Cut and paste mathematical objects
- Search information using the context of a formula as a key word
- Exchange scientific data so that the meaning gets understood automatically
- Produce scientific web material with live formulae

Proper standard encoding helps to avoid costly mistakes

- Ariane V explosion
- Mars orbiter

Standard encoding of mathematics

Needed for proper educational web material used for a virtual university

OpenMath and MathML

- Languages to define the meaning of mathematical formulae
- MathML covers K12 mathematics
- OpenMath extends MathML to all areas of mathematics (via extensible content dictionaries)

OpenMath solution

Maple

Translation between OM and proprietary presentations by phrasebooks

Mathem.

OpenMath language as defined by CD’s

Editor

Database

Browser

Preamble of an OpenMath CD

OpenMath Content Dictionary: arith1

Preamble of an OpenMath CD

OpenMath Content Dictionary: arith1Canonical URL: http://www.openmath.org/cd/arith1.ocd

Preamble of an OpenMath CD

OpenMath Content Dictionary: arith1Canonical URL: http://www.openmath.org/cd/arith1.ocd CD File: arith1.ocd CD as XML Encoded OpenMath: arith1.omcd

Preamble of an OpenMath CD

OpenMath Content Dictionary: arith1Canonical URL: http://www.openmath.org/cd/arith1.ocd CD File: arith1.ocd CD as XML Encoded OpenMath: arith1.omcd Defines: abs, divide, gcd, lcm, minus, plus, power, product, root, sum, times, unary_minus

Preamble of an OpenMath CD

OpenMath Content Dictionary: arith1Canonical URL: http://www.openmath.org/cd/arith1.ocd CD File: arith1.ocd CD as XML Encoded OpenMath: arith1.omcd Defines: abs, divide, gcd, lcm, minus, plus, power, product, root, sum, times, unary_minus Date: 2001-03-12 Version: 2 Review Date: 2003-04-01

Preamble of an OpenMath CD

OpenMath Content Dictionary: arith1Canonical URL: http://www.openmath.org/cd/arith1.ocd CD File: arith1.ocd CD as XML Encoded OpenMath: arith1.omcd Defines: abs, divide, gcd, lcm, minus, plus, power, product, root, sum, times, unary_minus Date: 2001-03-12 Version: 2 Review Date: 2003-04-01 Status: official Uses CD: alg1, fns1, integer1, interval1, linalg2, logic1, quant1, relation1, set1, setname1, transc1

OpenMath CD definitions

lcm The symbol to represent the n-ary function to return the least common multiple of its arguments. Commented Mathematical property (CMP): lcm(a,b) = a*b/gcd(a,b)

OpenMath CD definitions

Formal Mathematical property (FMP):

OpenMath and MathML Organizations

- W3 Math working group (chaired by A. Diaz and P. Ion)
- NAOMI
- OpenMath Society
- OpenMath Esprit project

NAOMI

- North American OpenMath Initiative
- Started by S. Braham (SFU) and R. Sutor (IBM)
- Partner organizations include FSU, NCS, Drexel, UC Berkeley

OpenMath Society

- Registered international society in Helsinki
- President: A. Cohen (Eindhoven, The Netherlands)
- Executive committee: A. Cohen, G. Gonnet, M. Seppälä, S. Watt, S. Braham, M. Dewar, M. Gaetano
- openmath.org hosted by FSU

OpenMath Esprit project

- Coordinated by M. Dewar (NAG, Oxford)
- Funding over 3 M$ for 1997-2000
- Included several academic and industrial partners in Europe
- Produced the OM standard, phrasebooks and tools to create and edit OM objects

Industrial partners of the OpenMath projects

- IBM (techexplorer group)
- Waterloo Maple
- Springer Verlag
- Other European partners
- North American partners

Example of a next generation OM application

Cellular telephone as a scientific calculator(following slides provided by mofile.com, inc.)

Download Presentation

Connecting to Server..