<--- Back to Details
First PageDocument Content
Polynomials / Commutative algebra / Invariant theory / Computer algebra / Algebraic geometry / Polynomial ring / Monomial order / Polynomial / Grbner basis / KnuthBendix completion algorithm
Date: 2008-10-15 02:58:56
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

Source URL: www.math.kun.nl

Download Document from Source Website

File Size: 163,64 KB

Share Document on Facebook

Similar Documents

Graph-coloring ideals Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases  David Rolnick

Graph-coloring ideals Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases David Rolnick

DocID: 1r7Hx - View Document

Polynomial Ideals Arithmetic for polynomial ideals supported by Gr¨obner bases Version 1.0 May 1992 Herbert Melenk Konrad-Zuse-Zentrum f¨ ur Informationstechnik

Polynomial Ideals Arithmetic for polynomial ideals supported by Gr¨obner bases Version 1.0 May 1992 Herbert Melenk Konrad-Zuse-Zentrum f¨ ur Informationstechnik

DocID: 1r2Kc - View Document

July 28–31, 2009, Seoul, Korea  Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary

July 28–31, 2009, Seoul, Korea Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary

DocID: 1pWT1 - View Document

GROEBNER: A Package for Calculating Gr¨obner Bases, Version 3.0 H. Melenk & W. Neun Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin

GROEBNER: A Package for Calculating Gr¨obner Bases, Version 3.0 H. Melenk & W. Neun Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin

DocID: 1pPiY - View Document

Research  Seminar series http://www.cargo.wlu.ca

Research Seminar series http://www.cargo.wlu.ca

DocID: 1pF6j - View Document