NA-MKM 2002
A North American Workshop
On Mathematical Knowledge Management
McMaster University
Hamilton, Ontario, Canada
June 12-13, 2002
Talk Presentations
- Jacques Carette
"Efficient Encoding of Mathematical
Knowledge" PDF Maple Worksheet
- Robert Constable
"Building an Interactive Library of
Formal Algorithmic Knowledge" PDF
- William Farmer
"The MathScheme Project" PDF
- Constance Heitmeyer
"The Role of Mathematics in
Tool-Supported Software Development" PowerPoint PDF
- Hyang Sook Kim and P. J. Ryan
"Teaching and Learning
Models for Mathematics using Mathematica" PDF
- Michael Kohlhase
"Integration of Formal Mathematical
Theories: A Challenge for NA-MKM" PDF