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.

Rights

Rights Holder

Rights License

Rights URI