A language for mathematical knowledge management

This page contains links to data relevant to Steve Kieffer, Jeremy Avigad, and Harvey Friedman, "A language for mathematical knowledge management."

• The paper itself. arXiv.
• Harvey Friedman, "Proofless text," 9/29/05. pdf.
• Steve Kieffer's MS thesis, "A language for mathematical knowledge management." pdf.
• Powerpoint slides from Kieffer's defense. pdf.
• Code associated with Kieffer's thesis. tar.gz.
• The code for the NL translator. tar.gz.
• Natural language versions of the definitions in Suppes. pdf.
• Natural language versions of the definitions in Munkres. pdf.