PROCEEDINGS

Internet Accessible Mathematical Computation

a Workshop at ISSAC'2001
July 22, 2001

Introduction

The Internet Accessible Mathematical Computation workshop begun in 1999 at ISSAC'1999 as a one-day workshop for everyone with an interest in the many aspects of making mathematical computation or information accessible on the Web/Internet is welcome to attend. Topics of the workshop include, but are not limited to:

  • Remote access to mathematical software over the Internet
  • Encoding of mathematical expressions (including text-based encodings, for E-mail and HTML embedding, and binary-based encodings for efficient communication between scientific applications)
  • Interoperability between software that create/transform/display mathematical expressions (e.g. symbolic, numeric, graphics, text-processing packages) via ad hoc communication protocols and software architectures
  • Application of the above technologies for practical purposes such as distant learning and distributed problem solving
  • Protocols, APIs, URL schemes, and other mechanisms for system interoperability and standardization

In addition to the proceedings here, you may be interested in the IAMC homepage, the 1999 IAMC Workshop proceedings, and the IAMC Framework project at ICM/Kent.


Workshop organizers:

    Angel Diaz (IBM USA) -- aldiaz@us.ibm.com

    Norbert Kajler (Ecole des Mines de Paris, France) -- kajler@paris.ensmp.fr

    Paul S. Wang (ICM/Kent USA) -- pwang@cs.kent.edu


Program



Invited Talk

      Dr. Neil Soiffer (Wolfram Research, USA)

      MathML: the inside story

      Abstract:

      MathML has attracted a great deal of attention as the format to use for
      web-based Mathematics.  This talk presents the whys 
      of MathML, such as why the presentation math elements have structure to
      them, why there is no short input syntax, and why the content tag set
      does not have an evaluate tag.  Sometimes the reasons
      are technical, sometimes historical, and sometimes there are political.
      Some of the rationale may be obvious, but some reasons may be quite 
      surprising -- MathML may not be what you think it is.

      presentation in PDF

Contributed Papers 

      On the relationship between OpenMath and MathML
      Stephen Watt and Bill Naylor
      (watt@scl.csd.uwo.ca,  bill@scl.csd.uwo.ca)
      paper in PDF
      download gzip-ed postscript

      OpenMath Content Dictionaries: the Current State
      James H. Davenport (jhd@maths.bath.ac.uk)
      paper in PDF
      (revised Aug. 9, 2001)

      Remote Access to Mathematical Software
      Elizabeth Dolan, Paul Howland, Jorge Moré, 
      Boyana Norris, and Barry Smith
      (norris@mcs.anl.gov)
      paper in PDF
      download gzip-ed postscript

      Using WIMS for Mathematical Education
      Xiao Gang and Andre Galligo
      (Gang.Xiao@math.unice.fr,   galligo@math.unice.fr)
      paper in PDF
      download gzip-ed postscript

      The Marriage of MathML and Theorem Proving
      Hanane Naciri & Laurence Rideau
      (Hanane.Naciri@sophia.inria.fr,  Laurence.Rideau@sophia.inria.fr)
      paper in PDF
      download gzip-ed postscript

      Mathematical Systems Integrated in the ActiveMath Learning Environment
      Paul Libbrecht and Adrian Frischhauf
      (paul@ags.uni-sb.de et al)
      paper in PDF
      download gzip-ed postscript

Posters 

      * MCP: Mathematical Computation Protocol
        poser by Qingzhao Guo (qguo@cs.kent.edu)
        Poster in PDF

      * Numerical and Algebraic Computation in the web:
        exploring benefits and limitations
        poster by Maria Angelica de Oliveira Camargo Brunetto (angelica@uel.br)
        Poster in PDF

      * MetroS - A web site for mathematical software 
        for metrology, and associated materials
        poster by Robin Barker (Robin.Barker@npl.co.uk)
        Poster in PDF

System Demos

      * The Omega group, Universität des Saarlandes to demo

        ActiveMath (web-based learning environment)

        by Paul Libbrecht (paul@ags.uni-sb.de)

      * Mathematics and Computer Science Division,
        Argonne National Laboratory to demo

        ADIC Server, NEOS Server, PETSc Server

        by Boyana Norris (norris@mcs.anl.gov)

      * ICM/Kent USA to demo
  
        Java-based IAMC Framework

        by Weidong Liao (wliao@cs.kent.edu)

      * ICM/Kent USA to demo

        XMC (eXtensible Mathematical encoding Converter)

        by Xiao Zou (xzou@cs.kent.edu)

      * Centre for Mathematics and Scientific Computing
        National Physical Laboratory, UK to demo
    
        METROS web-site

        by Robin Barker (Robin.Barker@npl.co.uk)

      * Waterloo Maple Inc. Canada, to demo

        Maple7

        by Douglas Harder (dharder@maplesoft.com)


Acknowledgement

The 2001 IAMC Workshop has received funding from the US National Science Foundation under Grant CCR-0115611.

| IAMC Home | ICM Home |