Various papers and references of
James Davenport
Lectures
Incomplete Drafts
Slides at Various Meetings (2007)
Papers at various MKM conferences in PDF:
2003,
2008
(associated converter
here),
AISC 2008,
Calculemus 2007,
Calculemus 2008,
Papers at various ISSAC conferences in PDF:
1992 (at one point I mistakenly attributed this to 1991),
2002,
2003,
2004,
2005,
2007,
2010,
2011 and
2013.
SIGSAM Bulletin papers on OpenMath Content Dictionaries
(dvi,
PostScript or
PDF)
and Small Type System
(dvi,
PostScript or
PDF).
Talk at LMS Durham Symposium, available in
dvi,
ps and
pdf.
Follow-up paper in cryptography, available in
ps and
pdf.
Several papers with the team at the University of Western Ontario are available
here.
"Composite Computing
Methods Integrating Symbolic, Numeric and Graphical Packages for Research
Engineers"
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