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
Publisher
The University of Montana
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
COinS
© Copyright 2004 Joran M. Elias