Gert-Martin Greuel

Affiliations:
  • University of Kaiserslautern, Department of Mathematics, Germany
  • Oberwolfach Research Institute for Mathematics (MFO), Germany


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Using Semicontinuity for Standard Bases Computations.
Math. Comput. Sci., 2022

2020
Algorithms for group actions in arbitrary characteristic and a problem in singularity theory.
Appl. Algebra Eng. Commun. Comput., 2020

2014
swMATH - An Information Service for Mathematical Software.
Proceedings of the Mathematical Software - ICMS 2014, 2014

2013
swMATH - A New Information Service for Mathematical Software.
Proceedings of the Intelligent Computer Mathematics, 2013

2011
The Gröbner basis of the ideal of vanishing polynomials.
J. Symb. Comput., 2011

STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2010
Normalization of rings.
J. Symb. Comput., 2010

2009
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra.
Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2008
Algebraic and Combinatorial Algorithms for Translinear Network Synthesis.
IEEE Trans. Circuits Syst. I Regul. Pap., 2008

SINGULAR: a computer algebra system for polynomial computations.
ACM Commun. Comput. Algebra, 2008

An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Equisingular calculations for plane curve singularities.
J. Symb. Comput., 2007

2005
Preface.
J. Symb. Comput., 2005

2000
Computer Algebra and Algebraic. Geometry-Achievements and Perspectives.
J. Symb. Comput., 2000

1997
SINGULAR - A Computer Algebra System for Singularity Theory, Algebraic Geometry and Commutative Algebra.
Comput. Sci. J. Moldova, 1997

SINGULAR-1.0: a computer algebra system for singularity theory, algebraic geometry and commutative algebra.
SIGSAM Bull., 1997

Primary Decomposition: Algorithms and Comparisons.
Proceedings of the Algorithmic Algebra and Number Theory, 1997

1996
On the Implementation of Standard Bases and Syzygies in SINGULAR.
Appl. Algebra Eng. Commun. Comput., 1996


  Loading...