Gert-Martin Greuel

Department of Mathematics, University of Kaiserslautern

	2011
9		Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel: STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. DATE 2011: 155-160
8		Gert-Martin Greuel, Frank Seelisch, Oliver Wienand: The Gröbner basis of the ideal of vanishing polynomials. J. Symb. Comput. 46(5): 561-570 (2011)
	2010
7		Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch: Normalization of rings. J. Symb. Comput. 45(9): 887-901 (2010)
	2008
6		Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel: An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. CAV 2008: 473-486
5		David Ilsen, Ernst Josef Roebbers, Gert-Martin Greuel: Algebraic and Combinatorial Algorithms for Translinear Network Synthesis. IEEE Trans. on Circuits and Systems 55-I(10): 3131-3144 (2008)
	2007
4		Antonio Campillo, Gert-Martin Greuel, Christoph Lossen: Equisingular calculations for plane curve singularities. J. Symb. Comput. 42(1-2): 89-114 (2007)
	2005
3		Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy: Preface. J. Symb. Comput. 39(3-4): 257-258 (2005)
	2000
2		Gert-Martin Greuel: Computer Algebra and Algebraic. Geometry-Achievements and Perspectives. J. Symb. Comput. 30(3): 253-289 (2000)
	1996
1		Hubert Grassmann, Gert-Martin Greuel, Bernd Martin, Wolfgang Neumann, Gerhard Pfister, Wilfred Pohl, Hans Schönemann, Thomas Siebert: On the Implementation of Standard Bases and Syzygies in SINGULAR. Appl. Algebra Eng. Commun. Comput. 7(3): 235-249 (1996)

Coauthor Index

1	Antonio Campillo	[4]
2	Arjeh M. Cohen	[3]
3	Alexander Dreyer	[9]
4	Hubert Grassmann	[1]
5	David Ilsen	[5]
6	Wolfgang Kunz	[6] [9]
7	Santiago Laplagne	[7]
8	Christoph Lossen	[4]
9	Bernd Martin	[1]
10	Wolfgang Neumann	[1]
11	Evgeny Pavlenko	[9]
12	Gerhard Pfister	[1]
13	Wilfred Pohl	[1]
14	Ernst Josef Roebbers	[5]
15	Marie-Françoise Roy	[3]
16	Hans Schönemann	[1]
17	Frank Seelisch	[7] [8] [9]
18	Thomas Siebert	[1]
19	Dominik Stoffel	[6] [9]
20	Markus Wedler	[6] [9]
21	Oliver Wienand	[6] [8]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page