Search: Gräbe, Hans-Gert

17 results

Results

Authors Year Title Type Fulltext
Gräbe, Hans-Gert 2002 Symbolic Data — Tools and Data for Computer Algebra Benchmarks Release 1.5, März 2002 Paper
Gräbe, Hans-Gert
Kofler, Michael
2002 Mathematica – Einführung, Anwendung, Referenz Paper
Gräbe, Hans-Gert 2002 The Symbolic Data benchmark problems collection of polynomial systems Paper
Gräbe, Hans-Gert 2002 The Symbolic Data geometry collection and the Geo Prover packages Paper
Gräbe, Hans-Gert 2002 Geo Prover – a small package for mechanized (plane) geometry manipulations Paper
Gräbe, Hans-Gert 2004 The Symbolic Data GEO records – A public repository of geometry theorem proof schemes Paper
Schwarzer, R.
Adolf, F.
...
2007 Testverfahren für eventgetriebene Software am Beispiel der ARTIS-Plattform Paper
Gräbe, Hans-Gert
Kofler, Michael
2007 Mathematica 6 – Einführung, Grundlagen Beispiele Paper
Gräbe, Hans-Gert
Vlassov, A.T.
1996 On a formula of Coll-Gerstenhaber-Giaquinto Paper pdf
Gräbe, Hans-Gert
Lassner, Wolfgang
1994 A parallel Gröbner factorizer Paper pdf
Gräbe, Hans-Gert 1998 About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce. Book pdf
Gräbe, Hans-Gert 1998 Algebraic Numbers in Symbolic Computations Paper pdf
Gräbe, Hans-Gert 1997 Minimal Primary Decomposition and Factorized Groebner Bases Paper pdf
Gräbe, Hans-Gert 1995 Triangular Systems and Factorized Groebner Bases Paper pdf
Gräbe, Hans-Gert 1995 Algorithms in local algebra. Paper pdf
Gräbe, Hans-Gert 1994 On Factorized Groebner Bases Paper pdf
Bachmann, Olaf
Gräbe, Hans-Gert
2000 The SymbolicData Project - Towards an Electronic Repository of Tools and Data for Benchmarks of Computer Algebra Software Report pdf