| ## C.9 References The Centre for Computer Algebra Kaiserslautern publishes a series of preprints which are electronically available at `https://www.singular.uni-kl.de/reports`. Other sources to check are `http://symbolicnet.org/`, `http://www-sop.inria.fr/galaad/`,... and the following list of books. For references on non-commutative algebras and algorithms, see References (plural). ### Text books on computational algebraic geometry Adams, W.; Loustaunau, P.: An Introduction to Gröbner Bases. Providence, RI, AMS, 1996 Becker, T.; Weisspfenning, V.: Gröbner Bases - A Computational Approach to Commutative Algebra. Springer, 1993 Cohen, H.: A Course in Computational Algebraic Number Theory, Springer, 1995 Cox, D.; Little, J.; O'Shea, D.: Ideals, Varieties and Algorithms. Springer, 1996 Cox, D.; Little, J.; O'Shea, D.: Using Algebraic Geometry. Springer, 1998 Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry. Springer, 1995 Greuel, G.-M.; Pfister, G.: A Singular Introduction to Commutative Algebra. Springer, 2002 Mishra, B.: Algorithmic Algebra, Texts and Monographs in Computer Science. Springer, 1993 Sturmfels, B.: Algorithms in Invariant Theory. Springer 1993 Vasconcelos, W.: Computational Methods in Commutative Algebra and Algebraic Geometry. Springer, 1998 ### Descriptions of algorithms Bareiss, E.: Sylvester's identity and multistep integer-preserving Gaussian elimination. Math. Comp. 22 (1968), 565-578 Campillo, A.: Algebroid curves in positive characteristic. SLN 813, 1980 Chou, S.: Mechanical Geometry Theorem Proving. D.Reidel Publishing Company, 1988 Decker, W.; Greuel, G.-M.; Pfister, G.: Primary decomposition: algorithms and comparisons. Preprint, Univ. Kaiserslautern, 1998. To appear in: Greuel, G.-M.; Matzat, B. H.; Hiss, G. (Eds.), Algorithmic Algebra and Number Theory. Springer Verlag, Heidelberg, 1998 Decker, W.; Greuel, G.-M.; de Jong, T.; Pfister, G.: The normalisation: a new algorithm, implementation and comparisons. Preprint, Univ. Kaiserslautern, 1998 Decker, W.; Heydtmann, A.; Schreyer, F. O.: Generating a Noetherian Normalization of the Invariant Ring of a Finite Group, 1997, to appear in Journal of Symbolic Computation Faugère,J. C.; Gianni, P.; Lazard, D.; Mora, T.: Efficient computation of zero-dimensional Gröbner bases by change of ordering. Journal of Symbolic Computation, 1989 Gräbe, H.-G.: On factorized Gröbner bases, Univ. Leipzig, Inst. für Informatik, 1994 Grassmann, H.; Greuel, G.-M.; Martin, B.; Neumann, W.; Pfister, G.; Pohl, W.; Schönemann, H.; Siebert, T.: On an implementation of standard bases and syzygies in SINGULAR. Proceedings of the Workshop Computational Methods in Lie theory in AAECC (1995) Greuel, G.-M.; Pfister, G.: Advances and improvements in the theory of standard bases and syzygies. Arch. d. Math. 63(1995) Kemper; Generating Invariant Rings of Finite Groups over Arbitrary Fields. 1996, to appear in Journal of Symbolic Computation Kemper and Steel: Some Algorithms in Invariant Theory of Finite Groups. 1997 Lee, H.R.; Saunders, B.D.: Fraction Free Gaussian Elimination for Sparse Matrices. Journal of Symbolic Computation (1995) 19, 393-402 Schönemann, H.: Algorithms in SINGULAR, Reports on Computer Algebra 2(1996), Kaiserslautern Siebert, T.: On strategies and implementations for computations of free resolutions. Reports on Computer Algebra 8(1996), Kaiserslautern Wang, D.: Characteristic Sets and Zero Structure of Polynomial Sets. Lecture Notes, RISC Linz, 1989

User manual for Singular version 4.4.1, 2025, generated by texi2html.