Verbalization of High-Level Formal Proofs

2/22/99


Click here to start


Table of Contents

Verbalization of High-Level Formal Proofs

The Problem, and Why it Matters for Nuprl

Our Approach

Lessons Learned

Background

Corpus - what we were looking for

Corpus - what we found

Mathematics Communication Conventions

System Architecture

Content Planner

MCC Identification

Analogy Identification

Variable Type Representation

Sample Output

What Happens Next?

What Do I Need from You?

 Author: Amanda Holland-Minkley

Email: hollandm@cs.cornell.edu

Home Page: http://simon.cs.cornell.edu/Info/People/hollandm/home.html