Internet Accessible Mathematical Computation
a Workshop at ISSAC'2001 IntroductionThe 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:
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:
aldiaz@us.ibm.com
Norbert Kajler (Ecole des Mines de Paris, France) --
Paul S. Wang (ICM/Kent USA) --
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)
AcknowledgementThe 2001 IAMC Workshop has received funding from the US National Science Foundation under Grant CCR-0115611. |