Hans-Gert Gräbe

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2002

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

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

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page