Conversational Mathematics

Authors

Dylan Orris, The College of WoosterFollow

Advisor

Fox, Nathan

Department

Mathematics; Computer Science

Recommended Citation

Orris, Dylan, "Conversational Mathematics" (2019). Senior Independent Study Theses. Paper 8632.
https://openworks.wooster.edu/independentstudy/8632

Disciplines

Graphics and Human Computer Interfaces | Other Applied Mathematics | Other Computer Sciences

Keywords

Natural Language Processing, Automated Proof, Python

Publication Date

2019

Degree Granted

Bachelor of Arts

Document Type

Senior Independent Study Thesis