# 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