Leslie Lamport
The Communication of Mathematics
Microsoft
From the pen of Leslie Lamport...
Leslie Lamport began writing concurrent algorithms in the early '70s.
He was so bad at it that he spent the next 20 years trying to figure
out how to tell if his algorithms were correct. Because no one else
knew how either, he was able to publish a lot of bad ideas before
finally figuring it out. In the meanwhile, he realized that graduate
school in math failed to teach him, or anyone else, anything useful
about how to prove something. This realization led to his annoying
habit of telling mathematicians how they should write proofs. In an
unsuccessful effort to cajole them, he wrote LaTeX, a widely misused
document formatting system.
David Carlisle
MathML on the Web: Using XSLT to Enable
Cross-Platform Support for XHTML and MathML in Current Browsers
The Numerical Algorithms Group (NAG) Ltd
David Carlisle has been involved with the markup of mathematical documents since starting to use TeX around 1987. As a member of the LaTeX3 project, he was one of the main authors/maintainers of LaTeX2e, the current version of the LaTeX typesetting system--building on the LaTeX 2.09 system designed and built by Leslie Lamport. For the last four years, Carlisle has been working at NAG on various aspects of XML, but in particular he has acted as coeditor on both the MathML2 and the OpenMath specifications. While not directly involved in the XSL working group, he was an early user of the test implementations of the language (having previously used XSLT's immediate parent, DSSSL). He has also been one of the main supporters of the public XSL mailing list, xsl-list, and acted as technical editor on several XSLT books.
Roger Sidje
MathML amidst Open Web Standards: Mozilla's
Building Blocks for Today and Tomorrow
The University of Queensland
Dr. Roger B. Sidje is the original author of MathML in Mozilla with the feedback of open-source contributors. Dr. Sidje graduated with a Ph.D. in numerical analysis at INRIA Rennes and now works at the Advanced Computational Modelling Centre (ACMC) of the Mathematics Department at The University of Queensland. Dr. Sidje's interests include serial and parallel numerical linear algebra, Markov chains, differential equations, and high-performance scientific computation on supercomputing platforms. The numerical analysis community has a well-established track record of producing peer-reviewed software (e.g., Netlib) for the advancement of mathematics, science, and education. Dr. Sidje's matrix exponential package, Expokit, is an example in that tradition. The establishment of Mozilla as an open-source project has provided the opportunity to add standards-based MathML support to a freely available and redistributable browser of high standing. Since native integration of interactive MathML has permeated several facets of the Mozilla framework, Dr. Sidje has acquired a broad knowledge of Mozilla and an appreciation of its capabilities for supporting such embedded standards.
MathML in the MOWGLI
Project
Andrea Asperti and Michael Kohlhase
Università degli Studi di Bologna and Carnegie Mellon University
MathML in Maple
Laurent Bernardin, James McCarron, and Douglas Harder
Waterloo Maple Inc.
Bringing MathML Content and
Presentation Markup to the Web with the
IBM MathML Expression Editor
Samuel S. Dooley
IBM T.J. Watson Research Center
Implementing MathML in
Mathematica
Jason Harris
Wolfram Research, Inc.
Connexions: MathML and Collaborative
Curriculum Development in
Engineering
Brent Hendricks, Ross Reedstrom, Richard Baraniuk, Don Johnson, Bill
Wilson, and Geneva Henry
Rice University
Content-Faithful Transformations for
MathML
Sandy Huerter, Igor Rodionov, and Stephen Watt
The University of Western Ontario
What's the Use? Analysis of Real-World
MathML and Web Browser
Usage
Andrew Hunt
Wolfram Research, Inc.
Acquisition of Content: MathML in an
Academic Setting
Michael Kohlhase, Matthew Szudzik, Dana Scott, Klaus Sutner, Andrea
Kohlhase, and Peter Jansen
Carnegie Mellon University
An Object Model for Dynamic
Math
Robert Miner
Design Science, Inc.
Formal Mathematical Proof Explanations
in Natural Language Using
MathML: An Application to Proofs in Arabic
Hanane Naciri and Laurence Rideau
INRIA Sophia Antipolis
Mappings between Presentation Markup
and Semantic Markup for
Variable-Size Objects
Bill Naylor
Ontario Research Centre for Computer Algebra
A Stand-Alone Rendering Engine for
MathML
Luca Padovani
Ontario Research Centre for Computer Algebra
MathML in E-Learning with
Amaya
Vincent Quint and Irène Vatton
W3C/INRIA
An Interactive Mathematical Handwriting
Recognizer for the Pocket
PC
Bo Wan and Stephen Watt
The University of Western Ontario
A Lisp Subset Based on MathML
Yuzhen Xie, Stephen Watt, and Luca Padovani
The University of Western Ontario
techexplorer
Sam Dooley
IBM T.J. Watson Research Center
Publicon 1.0: Structured
Document-Authoring System Demo
Andre Kuzniarek
Wolfram Research, Inc.
Essential Ingredients for
Mathematical Content Deployment on the Web:
The MapleNet Experience
Paul Mansfield
Waterloo Maple Inc.
Two Ways to Author for MathPlayer
with WebEQ
Robert Miner
Design Science, Inc.
TeX and LaTeX in a MathML
Context
Ivor Phillips and Stan Devitt
The Boeing Company and Stratum Technical Services Ltd.
webMathematica: How to Deliver
Computational and Visualization
Services from a Web Server
Tom Wickham-Jones
Wolfram Research, Inc.
Mathematical Software as Web Services
O. Caprotti and W. Schreiner
RISC-Linz, Johannes Kepler University
Displaying Mathematics on the
Semantic Web: MathML Content to
SVG
Dominique Broeglin, Stéphane Lavirotte, Peter Sander
Université de Nice-Sophia Antipolis
Rainbow: Complete Learning Environment and Learning Management
System
Geneviève Habel
CogniScience
Collecting Mathematical Expressions with Web Forms: Converting Plain
Text to MathML
Clifford Johnston
West Chester University
A Web-Based Integral Evaluator: A Demonstration of the Successful
Integration of WebEQ, Maple, and Java
Wanda Kunkle
Drexel University
Interactions between OpenMath and MathML under the Maple
Environment
Bill Naylor
Ontario Research Center for Computer Algebra
OpenMath Software Tools
M. N. Riem, E. R. Barreiro, A. M. Cohen, and H. Cuypers
Technische Universiteit Eindhoven
A Tool for Translating TeX/LaTeX to MathML
Igor Rodionov and Stephen Watt
Ontario Research Center for Computer Algebra
Interactive MathML Processing on the Web
Pavi Sandhu
Wolfram Research, Inc.
MathML to TeX Conversion: Conserving High-Level Semantics in
Translation
Elena Smirnova and Stephen Watt
Ontario Research Center for Computer Algebra
The Powerful Use of New Database Technologies in Indexing Mathematics
and Displaying Dynamic Math on the Web
Safdar Syed
Wysitech, Inc.
A Modular XML Schema for MathML
Yuzhen Xie and Stephen Watt
Ontario Research Center for Computer Algebra