DOCUMENT RESOURCES FOR EVERYONE
Documents tagged
Documents A Language for Mathematical Knowledge Management Steve Kieffer Carnegie Mellon University.

Slide 1 A Language for Mathematical Knowledge Management Steve Kieffer Carnegie Mellon University Slide 2 2 What is Mathematical Knowledge? Theorems Definitions Proofs Slide…