Groebner Bases and Mechanical Geometry Theorem Proving
Date
1991-07
Authors
Ache, Paul Smith, III
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
No abstract prepared.
Description
Keywords
automatic theorem proving, geometry
Citation
Ache, P.S. (1991). Groebner bases and mechanical geometry theorem proving (Unpublished thesis). Southwest Texas State University, San Marcos, Texas.