| |
| 2002 | ||
|---|---|---|
| 5 | EE | Hans-Gert Gräbe: The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. Automated Deduction in Geometry 2002: 67-86 |
| 1997 | ||
| 4 | EE | Hans-Gert Gräbe: Minimal Primary Decomposition and Factorized Gröbner Bases. Appl. Algebra Eng. Commun. Comput. 8(4): 265-278 (1997) |
| 1995 | ||
| 3 | Hans-Gert Gräbe: Triangular Systems and Factorized Gröbner Bases. AAECC 1995: 248-261 | |
| 2 | Hans-Gert Gräbe: Algorithms in Local Algebra. J. Symb. Comput. 19(6): 545-557 (1995) | |
| 1993 | ||
| 1 | Hans-Gert Gräbe: On Lucky Primes. J. Symb. Comput. 15(2): 199-209 (1993) | |