Preface |
|
vii | (1) |
Programme Committee |
|
viii | |
Tutorials |
|
3 | (302) |
|
|
|
|
|
Introduction to Grobner Bases |
|
|
3 | (29) |
|
|
|
|
|
Grobner Bases, Symbolic Summation and Symbolic Integration |
|
|
32 | (29) |
|
|
|
|
|
|
|
|
|
Grobner Bases and Invariant Theory |
|
|
61 | (29) |
|
|
|
|
|
|
|
|
|
A Tutorial on Generic Initial Ideals |
|
|
90 | (19) |
|
|
|
|
|
|
|
|
|
Grobner Bases and Algebraic Geometry |
|
|
109 | (35) |
|
|
|
|
|
|
|
|
|
Grobner Bases and Integer Programming |
|
|
144 | (15) |
|
|
|
|
|
Grobner Bases and Numerical Analysis |
|
|
159 | (20) |
|
|
|
|
|
Grobner Bases and Statistics |
|
|
179 | (26) |
|
|
|
|
|
Grobner Bases and Coding Theory |
|
|
205 | (16) |
|
|
|
|
|
Janet Bases for Symmetry Groups |
|
|
221 | (14) |
|
|
|
|
|
Grobner Bases in Partial Differential Equations |
|
|
235 | (11) |
|
|
|
|
|
|
|
|
|
Grobner Bases and Hypergeometric Functions |
|
|
246 | (13) |
|
|
|
|
|
Introduction to Noncommutative Grobner Bases Theory |
|
|
259 | (22) |
|
|
|
|
|
Grobner Bases Applied to Geometric Theorem Proving and Discovering |
|
|
281 | (24) |
Research Papers |
|
305 | (230) |
|
|
|
|
|
|
|
|
|
|
305 | (18) |
|
|
|
|
|
|
|
|
|
Grobner Bases Property on Elimination Ideal in the Noncommutative Case |
|
|
323 | (15) |
|
|
|
|
|
|
|
|
|
The CoCoA 3 Framework for a Family of Buchberger-like Algorithms |
|
|
338 | (13) |
|
|
|
|
|
|
|
|
|
Newton Identities in the Multivariate Case: Pham Systems |
|
|
351 | (16) |
|
|
|
|
|
|
|
|
|
Grobner Bases in Rings of Differential Operators |
|
|
367 | (14) |
|
|
|
|
|
Canonical Curves and the Petri Scheme |
|
|
381 | (12) |
|
|
|
|
|
|
|
|
|
The Buchberger Algorithm as a Tool for Ideal Theory of Polynomial Rings in Constructive Mathematics |
|
|
393 | (15) |
|
|
|
|
|
|
|
|
|
Grobner Bases in Non-Commutative Reduction Rings |
|
|
408 | (13) |
|
|
|
|
|
Effective Algorithms for Intrinsically Computing SAGBI-Grobner Bases in a Polynomial Ring over a Field |
|
|
421 | (13) |
|
|
|
|
|
De Nugis Groebnerialium 1: Eagon, Northcott, Grobner |
|
|
434 | (14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
An Application of Grobner Bases to the Decomposition of Rational Mappings |
|
|
448 | (15) |
|
|
|
|
|
On some Basic Applications of Grobner Bases in Non-commutative Polynomial Rings |
|
|
463 | (10) |
|
|
|
|
|
|
|
|
|
Full Factorial Designs and Distracted Fractions |
|
|
473 | (10) |
|
|
|
|
|
Polynomial Interpolation of Minimal Degree and Grobner Bases |
|
|
483 | (12) |
|
|
|
|
|
Inversion of Birational Maps with Grobner Bases |
|
|
495 | (9) |
|
|
|
|
|
Reverse Lexicographic Initial Ideals of Generic Ideals are Finitely Generated |
|
|
504 | (15) |
|
|
|
|
|
Parallel Computation and Grobner Bases: An Application for Converting Bases with the Grobner Walk |
|
|
519 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
Appendix An Algorithmic Criterion for the Solvability of a System of Algebraic Equations |
|
535 | (11) |
Index of Tutorials |
|
546 | |