Gert-Martin Greuel

According to our database, Gert-Martin Greuel authored at least 18 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Using Semicontinuity for Standard Bases Computations.

Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann

Math. Comput. Sci., 2022

2020

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

2014

swMATH - An Information Service for Mathematical Software.

Gert-Martin Greuel, Wolfram Sperber

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

swMATH - A New Information Service for Mathematical Software.

Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber

Proceedings of the Intelligent Computer Mathematics, 2013

2011

The Gröbner basis of the ideal of vanishing polynomials.

Gert-Martin Greuel, Frank Seelisch, Oliver Wienand

J. Symb. Comput., 2011

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

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Normalization of rings.

Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch

J. Symb. Comput., 2010

2009

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

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

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

SINGULAR: a computer algebra system for polynomial computations.

Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann

ACM Commun. Comput. Algebra, 2008

An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.

Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Equisingular calculations for plane curve singularities.

Antonio Campillo, Gert-Martin Greuel, Christoph Lossen

J. Symb. Comput., 2007

2005

Preface.

Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy

J. Symb. Comput., 2005

2000

Computer Algebra and Algebraic. Geometry-Achievements and Perspectives.

Gert-Martin Greuel

J. Symb. Comput., 2000

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

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

Primary Decomposition: Algorithms and Comparisons.

Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister

Proceedings of the Algorithmic Algebra and Number Theory, 1997

1996

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