Références

BP

D. Bini and V. Pan.
Polynomial and matrix computations, Vol 1 ; Fundamental Algorithms.
Progress in Theoretical Computer Science. Birkhäuser, Boston, 1994.

BS

D. Bayer and M. Stillman.
The design of Macaulay : A system for computing in algebraic geometry and commutative algebra.
In 1986 Symposium on symbolic and algebraic manipulation, pages 157-162. ACM, 1986.

Ch

Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang.
Machine proofs in geometry : automated production of readable proofs for geometry problems, volume 6 of Series on applied mathematics.
World scientific, 1994.

Di

J. Dixmier.
Quelques aspects de la théorie des invariants.
Gazette des Mathématiques, 49:39-64, 1987.

Ei

D. Eisenbud.
Commutative Algebra with a view toward Algebraic Geometry, volume 150 of Graduate Texts in Math.
Springer-Verlag, 1994.

Ge

I.M. Gelfand, M.M. Kapranov, and A.V. Zelevinsky.
Discriminants, Resultants and Multidimensional Determinants.
Birkhäuser, Boston-Basel-Berlin, 1994.

Hi

D. HILBERT,
Theory of algebraic invariant, Cambridge mathematical library,
Cambridge University Press,
Réédit. 1993.

Kl

F. Klein.
Le programme d'Erlangen, 1899.
Discours de la méthode (1974). Gautier-Villas, Paris, 1899.

Ku

E. Kunz.
Kähkler differentials.
Advanced lectures in Mathematics. Fried. Vieweg and Sohn, 1986.

M₁

F.S. Macaulay.
Some formulae in elimination.
Proc. London Math. Soc., 1(33):3-27, 1902.

M₂

F.S. Macaulay.
The Algebraic Theory of Modular Systems.
Cambridge Univ. Press, 1916.

SS

G. Scheja and U. Storch.
Über Spurfunktionen bei vollständigen Durschnitten.
Journal Reine Angew Mathematik, 278:174-190, 1975.

St

B. Sturmfels.
Algorithms in Invariants Theory.
RISC Series on Symbolic Computation. Springer Verlag, Vienna, 1993.