Gert-Martin Greuel

22 papers A* 1A 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
Using Semicontinuity for Standard Bases Computations.
Math. Comput. Sci.
Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann
2020 J jnl
Algorithms for group actions in arbitrary characteristic and a problem in singularity theory.
Appl. Algebra Eng. Commun. Comput.
Gert-Martin Greuel, Thuy Huong Pham
2016 — ed.
Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
ICMS
Gert-Martin Greuel, Thorsten Koch, Peter Paule, Andrew J. Sommese
2014 — conf
swMATH - An Information Service for Mathematical Software.
ICMS
Gert-Martin Greuel, Wolfram Sperber
2013 — conf
swMATH - A New Information Service for Mathematical Software.
MKM/Calculemus/DML
Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber
2013 J jnl
swMATH - a new information service for mathematical software.
CoRR
Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber
2011 — conf
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra.
MBMV
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
2011 A conf
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra.
DATE
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
2011 J jnl
The Gröbner basis of the ideal of vanishing polynomials.
J. Symb. Comput.
Gert-Martin Greuel, Frank Seelisch, Oliver Wienand
2010 J jnl
Normalization of rings.
J. Symb. Comput.
Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch
2009 — conf
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra.
Algorithms and Applications for Next Generation SAT Solvers
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
2008 J jnl
Algebraic and Combinatorial Algorithms for Translinear Network Synthesis.
IEEE Trans. Circuits Syst. I Regul. Pap.
David Ilsen, Ernst Josef Roebbers, Gert-Martin Greuel
2008 A* conf
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
CAV
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel
2008 J jnl
SINGULAR: a computer algebra system for polynomial computations.
ACM Commun. Comput. Algebra
Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann
2007 J jnl
Equisingular calculations for plane curve singularities.
J. Symb. Comput.
Antonio Campillo, Gert-Martin Greuel, Christoph Lossen
2005 J jnl
Preface.
J. Symb. Comput.
Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy
2000 J jnl
Computer Algebra and Algebraic. Geometry-Achievements and Perspectives.
J. Symb. Comput.
Gert-Martin Greuel
1999 — ed.
Algorithmic Algebra and Number Theory - Selected Papers From a Conference Held at the University of Heidelberg, Germany, October 1997
Algorithmic Algebra and Number Theory
B. Heinrich Matzat, Gert-Martin Greuel, Gerhard Hiss
1997 — conf
Primary Decomposition: Algorithms and Comparisons.
Algorithmic Algebra and Number Theory
Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister
1997 J jnl
SINGULAR - A Computer Algebra System for Singularity Theory, Algebraic Geometry and Commutative Algebra.
Comput. Sci. J. Moldova
Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann
1997 J jnl
SINGULAR-1.0: a computer algebra system for singularity theory, algebraic geometry and commutative algebra.
SIGSAM Bull.
Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann
1996 J jnl
On the Implementation of Standard Bases and Syzygies in SINGULAR.
Appl. Algebra Eng. Commun. Comput.
Hubert Grassmann, Gert-Martin Greuel, Bernd Martin, Wolfgang Neumann, Gerhard Pfister, Wilfred Pohl, Hans Schönemann, Thomas Siebert