Groebner Bases and Mechanical Geometry Theorem Proving

Simple item page
dc.contributor.advisorHazlewood, Donald
dc.contributor.authorAche, Paul Smith, III
dc.contributor.committeeMemberMichalk, Victor E.
dc.contributor.committeeMemberThickstun, Thomas
dc.date.accessioned2023-12-18T21:50:50Z
dc.date.available2023-12-18T21:50:50Z
dc.date.issued1991-07
dc.description.abstractNo abstract prepared.
dc.description.departmentMathematics
dc.formatText
dc.format.extent75 pages
dc.format.medium1 file (.pdf)
dc.identifier.citationAche, P.S. (1991). Groebner bases and mechanical geometry theorem proving (Unpublished thesis). Southwest Texas State University, San Marcos, Texas.
dc.identifier.urihttps://hdl.handle.net/10877/17751
dc.language.isoen
dc.subjectautomatic theorem proving
dc.subjectgeometry
dc.titleGroebner Bases and Mechanical Geometry Theorem Proving
dc.typeThesis
thesis.degree.departmentMathematics
thesis.degree.disciplineMathematics
thesis.degree.grantorSouthwest Texas State University
thesis.degree.levelMasters
thesis.degree.nameMaster of Science

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Ache_Paul_1991.pdf
Size:
722.9 KB
Format:
Adobe Portable Document Format
Download

Collections

Graduate Theses and Dissertations