Various papers and references of
Slides at Various Meetings (2007)
Papers at various MKM conferences in PDF:
Papers at various ISSAC conferences in PDF:
1992 (at one point I mistakenly attributed this to 1991),
SIGSAM Bulletin papers on OpenMath Content Dictionaries
and Small Type System
Talk at LMS Durham Symposium, available in
Follow-up paper in cryptography, available in
Several papers with the team at the University of Western Ontario are available
Methods Integrating Symbolic, Numeric and Graphical Packages for Research
Final Project Report of a JTAP-funded project.
"Galois Groups and the Simplification of Polynomials"
Programmirovanie 1997 1 pp. 43-58.
Report 88-12 "Solution of some equations in biochemistry" in pdf
Report 88-10 "Cylindrical Algebraic Decomposition" in pdf
Report 87-06 "Looking at a set of Equations"
(and in dvi)
Presentation on Information Technology
Talk on OpenMath: the future
Talk at Future of Mathematical Communication 99