12
th
OpenMath Workshop
Eindhoven University of Technology
June 15 - 16, 1999