Year of Award
Master of Arts (MA)
Department or School/College
Department of Mathematics
Geometry Data processing., Automatic theorem proving., Automatic theorem proving. fast (OCoLC)fst00822777, Geometry Data processing. fast (OCoLC)fst00940870
The University of Montana
Elias, Joran M., "Automated geometric theorem proving: Wu's Method" (2004). Graduate Student Theses, Dissertations, & Professional Papers. 8071.
© Copyright 2004 Joran M. Elias