dblp.uni-trier.dewww.uni-trier.de

Hans-Gert Gräbe Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
5EEHans-Gert Gräbe: The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes. Automated Deduction in Geometry 2002: 67-86
1997
4EEHans-Gert Gräbe: Minimal Primary Decomposition and Factorized Gröbner Bases. Appl. Algebra Eng. Commun. Comput. 8(4): 265-278 (1997)
1995
3EEHans-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)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)