Gröbner bases and invariant theory

Barnabei, 1985, On the exterior calculus of invariant theory, J. Algebra, 96, 120, 10.1016/0021-8693(85)90043-2 Bayer, 1982, The Division Algorithm and the Hilbert Scheme Bokowski, 1987, Nonrealizability proofs in computational geometry, Preprint 1045 Bokowski, 1987, Altshuler's sphere M10425 is not polytopal, Europ. J. Combin., 8, 227, 10.1016/S0195-6698(87)80026-4 Buchberger, 1970, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes Math., 4, 374, 10.1007/BF01844169 Buchberger, 1985, Gröbner bases—An algorithmic method in polynomial ideal theory Chou, 1987, Characteristic sets and Gröbner bases in geometry theorem proving, 29 De Concini, 1976, A characteristic free approach to invariant theory, Adv. in Math., 21, 330, 10.1016/S0001-8708(76)80003-5 Désarměnien, 1978, Invariant theory, Young tableaux, and combinatorics, Adv. in Math., 27, 63, 10.1016/0001-8708(78)90077-4 Doubilet, 1974, On the foundations of combinatorial theory. IX. Combinatorial methods in invariant theory, Stud. Appl. Math., 53, 185, 10.1002/sapm1974533185 Hodge, 1947 Kutzler, 1986, On the application of Buchberger's algorithm to automated geometry theorem proving, J. Symb. Comput., 2, 389, 10.1016/S0747-7171(86)80006-2 Kutzler, 1987, Introduction to Buchberger's Gröbner bases method, 5 Lauffer, 1954, Die nichtkonstruierbare Konfiguration (103), Math. Nachr., 11, 303, 10.1002/mana.19540110408 Lazard, 1983, Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations, 146 McMillan, 1988, Cayley factorization Möller, 1984, Upper and lower bounds for the degrees of Gröbner bases,, 172 Procesi, 1982, A primer in invariant theory, Brandeis Lecture Notes, 1 Sturmfels, 1987, Computational Synthetic Geometry Weyl, 1939 White, 1975, The bracket ring of a combinatorial geometry, I, Trans. Amer. Math. Soc., 202, 79, 10.1090/S0002-9947-1975-0387095-9 White, 1983, The algebraic geometry of stresses in frameworks, SIAM J. Algebraic Discrete Methods, 4, 481, 10.1137/0604049 White, 1987, The algebraic geometry of motions of bar-and-body frameworks, SIAM J. Algebraic Discrete Methods, 8, 1, 10.1137/0608001 Whiteley, 1971, Logic and Invariant Theory Whiteley, 1973, Logic and invariant theory. I. Invariant theory of projective properties, Trans. Amer. Math. Soc., 177, 121 Young, 1928, On quantitative substitutional analysis (3rd paper), Proc. London Math. Soc., 28, 255, 10.1112/plms/s2-28.1.255