 | 2008 |
|---|
| 5 |       | 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 |
| 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) |
