Date of Award
6-2016
Document Type
Open Access
Degree Name
Bachelor of Science
Department
Computer Science
First Advisor
Kristina Striegnitz
Language
English
Keywords
proof, verify, structure
Abstract
A great deal of work has been done on automatically generating automated proofs of formal statements. However, these systems tend to focus on logic-oriented statements and tactics as well as generating proofs in formal language. This project examines proofs written in natural language under a more general scope of mathematics. Furthermore, rather than attempting to generate natural language proofs for the purpose of solving problems, we automatically verify human-written proofs in natural language. To accomplish this, elements of discourse parsing, semantic interpretation, and application of an automated theorem prover are implemented.
Recommended Citation
Johnson, Tristan, "Reading Between the Lines: Verifying Mathematical Language" (2016). Honors Theses. 164.
https://digitalworks.union.edu/theses/164