Generating Text from High-Level Formal Proofs

5/4/99


Click here to start


Table of Contents

Generating Text from High-Level Formal Proofs

Problem

Specific Tasks

A Closer Look at Formal Proofs

Utilizing the High-Level Nature

Defining the Mapping

Turning the Theory into Practice

Summary

Author: Amanda Holland-Minkley

Email: hollandm@cs.cornell.edu

Home Page: http://www.cs.cornell.edu/home/hollandm/