Back to Results
First PageMeta Content
Polynomials / Commutative algebra / Invariant theory / Computer algebra / Algebraic geometry / Polynomial ring / Monomial order / Polynomial / Grbner basis / KnuthBendix completion algorithm


Radboud University Automatic Geometric Theorem Proving using Gr¨obner Bases Bachelor’s Thesis Mathematics
Add to Reading List

Document Date: 2008-10-15 02:58:56


Open Document

File Size: 163,64 KB

Share Result on Facebook