On the Implementation of Standard Bases and Syzygies in SINGULAR. - Hubert Grassmann; Gert-Martin Greuel; Bernd Martin; Wolfgang Neumann; Gerhard Pfister; Wilfred Pohl; Hans Schönemann; Thomas Siebert (Appl. Algebra Eng. Commun. Comput., 1996)

Primary Decomposition: Algorithms and Comparisons. - Wolfram Decker; Gert-Martin Greuel; Gerhard Pfister (Algorithmic Algebra and Number Theory, 1997)

SINGULAR-1.0: a computer algebra system for singularity theory, algebraic geometry and commutative algebra. - Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann (SIGSAM Bull., 1997)

SINGULAR - A Computer Algebra System for Singularity Theory, Algebraic Geometry and Commutative Algebra. - Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann (Comput. Sci. J. Moldova, 1997)

Computer Algebra and Algebraic. Geometry-Achievements and Perspectives. - Gert-Martin Greuel (J. Symb. Comput., 2000)

Preface. - Arjeh M. Cohen; Gert-Martin Greuel; Marie-Françoise Roy (J. Symb. Comput., 2005)

Equisingular calculations for plane curve singularities. - Antonio Campillo; Gert-Martin Greuel; Christoph Lossen (J. Symb. Comput., 2007)

An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. - Oliver Wienand; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Gert-Martin Greuel (CAV, 2008)

SINGULAR: a computer algebra system for polynomial computations. - Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann (ACM Commun. Comput. Algebra, 2008)

Algebraic and Combinatorial Algorithms for Translinear Network Synthesis. - David Ilsen; Ernst Josef Roebbers; Gert-Martin Greuel (IEEE Trans. Circuits Syst. I Regul. Pap., 2008)

Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. - Markus Wedler; Evgeny Pavlenko; Alexander Dreyer; Frank Seelisch; Dominik Stoffel; Gert-Martin Greuel; Wolfgang Kunz (Algorithms and Applications for Next Generation SAT Solvers, 2009)

Normalization of rings. - Gert-Martin Greuel; Santiago Laplagne; Frank Seelisch (J. Symb. Comput., 2010)

STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Alexander Dreyer; Frank Seelisch; Gert-Martin Greuel (MBMV, 2011)

The Gröbner basis of the ideal of vanishing polynomials. - Gert-Martin Greuel; Frank Seelisch; Oliver Wienand (J. Symb. Comput., 2011)

swMATH - A New Information Service for Mathematical Software. - Sebastian Bönisch; Michael Brickenstein; Hagen Chrapary; Gert-Martin Greuel; Wolfram Sperber (MKM/Calculemus/DML, 2013)

swMATH - An Information Service for Mathematical Software. - Gert-Martin Greuel; Wolfram Sperber (ICMS, 2014)

Algorithms for group actions in arbitrary characteristic and a problem in singularity theory. - Gert-Martin Greuel; Thuy Huong Pham (Appl. Algebra Eng. Commun. Comput., 2020)

Using Semicontinuity for Standard Bases Computations. - Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann (Math. Comput. Sci., 2022)