Automated geometric theorem proving: Wu's Method

Author

Joran M. Elias, The University of MontanaFollow

Year of Award

2004

Document Type

Thesis

Degree Type

Master of Arts (MA)

Degree Name

Mathematics

Department or School/College

Department of Mathematics

Committee Chair

Adam Nyman

Keywords

Geometry Data processing., Automatic theorem proving., Automatic theorem proving. fast (OCoLC)fst00822777, Geometry Data processing. fast (OCoLC)fst00940870

Recommended Citation

Elias, Joran M., "Automated geometric theorem proving: Wu's Method" (2004). Graduate Student Theses, Dissertations, & Professional Papers. 8071.
https://scholarworks.umt.edu/etd/8071