MAGMA Computational Algebra System

Bibliography

AL94

William Adams and Philippe Loustaunau.
An introduction to Gröbner bases, volume 3 of Graduate studies in mathematics.
American Mathematical Society, Providence, R.I., 1994.

BS92

David Bayer and Michael Stillman.
Computation of Hilbert Functions.
J. Symbolic Comp., 14(1):31--50, 1992.

Buc65

Bruno Buchburger.
Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal.
PhD thesis, University of Innsbruck, Austria, 1965.

BW93

Thomas Becker and Volker Weispfenning.
Gröbner Bases.
Graduate Texts in Mathematics. Springer, New York--Berlin--Heidelberg, 1993.

CKM97

Stephane Collart, Michael Kalkbrener, and Daniel Mall.
Converting Bases with the Gröbner Walk.
J. Symbolic Comp., 24(3):465--469, 1997.

CLO96

David Cox, John Little, and Donal O'Shea.
Ideals, Varieties and Algorithms.
Undergraduate Texts in Mathematics. Springer, New York--Berlin--Heidelberg, 2nd edition, 1996.

CLO98

David Cox, John Little, and Donal O'Shea.
Using Algebraic Geometry.
Graduate Texts in Mathematics. Springer, New York--Berlin--Heidelberg, 1998.

DL06

Wolfram Decker and Christoph Lossen.
Computing in Algebraic Geometry, volume 16 of Algorithms and Computation in Mathematics.
Springer, New York--Berlin--Heidelberg, 2006.

Fau99

Jean-Charles Faugère.
A new efficient algorithm for computing Gröbner bases (F₄).
Journal of Pure and Applied Algebra, 139 (1-3):61--88, 1999.

FGLM93

Jean-Charles Faugère, Patrizia Gianni, Daniel Lazard, and Teo Mora.
Efficient computations of zero-dimensional Gröbner bases by change of ordering.
J. Symbolic Comp., 16:329--344, 1993.

GP02

G.-M. Greuel and G. Pfister.
A Singular Introduction to Commutative Algebra.
Springer-Verlag, Berlin--Heidelberg--New York, 2002.

Laz92

Daniel Lazard.
Solving Zero-dimensional Algebraic Systems.
J. Symbolic Comp., 13(2):117--131, 1992.

Möl88

H.M. Möller.
On the construction of Gröbner bases using syzygies.
J. Symbolic Comp., 6:345--359, 1988.

Ste04

Allan Steel.
Gröbner Basis Timings Page.
http://magma.maths.usyd.edu.au/users/allan/gb/, 2004.

Ste05

Allan Steel.
Conquering Inseparability: Primary Decomposition and Multivariate Factorization over Algebraic Function Fields of Positive Characteristic.
J. Symbolic Comp., 40(3):1053--1075, 2005.

Tra96

Carlo Traverso.
Hilbert Functions and the Buchberger Algorithm.
J. Symbolic Comp., 22(4):355--376, 1996.