H.-G. Gräbe
Selected List of Publications
List of my publications at MathSciNet
- H.-G. Gräbe, M. Kofler: Mathematica 6 - Einführung, Grundlagen Beispiele
- Pearson Studium, München 2007 (5., aktualisierte Auflage)
- ISBN: 978-3-8273-7202-4, 496 Seiten
- The SymbolicData GEO Records - A Public
Repository of Geometry Theorem Proof Schemes
- Talk at the conference "Automated Deduction in Geometry" (ADG-2002)
RISC-Linz, Schloss Hagenberg, September 04-06, 2002
- The SymbolicData Geometry Collection and the
GeoProver Packages
- Proceedings "8th Rhine Workshop on Computer Algebra" (RWCA-02),
21.-22.3.2002 in Mannheim
- pp. 173 - 194, Publ. by Univ. Mannheim
- The SymbolicData Benchmark Problems
Collection of Polynomial Systems
- Proceedings "Workshop on Under- and Overdetermined Systems of Algebraic
or Differential Equations", 18.-19.3.2002 in Karlsruhe
- pp. 57 - 76, Publ. by IAS, Univ. Karlsruhe
- M. Kofler, H.-G. Gräbe:
Mathematica - Einführung, Anwendung, Referenz
- Addison-Wesley, München 2002 (4., vollständig
überarbeitete Auflage)
- Die Stellung des symbolischen Rechnens im
Wissenschaftsgebäude
- Talk at CASK 2000, 9.-10.3.2000 in Konstanz.
- The SymbolicData Project (with
O. Bachmann)
- Reports On Computer Algebra 27 (2000), Center for Computer Algebra,
University of Kaiserslautern
- Algebraic Numbers in Symbolic Computations
- Int. J. Computer Algebra in Math. Education 6 (1999), 65-84
- On a formula of Coll-Gerstenhaber-Giaquinto
(with A.T. Vlassov)
- J. Geom. Phys. 28 (1998), 129 - 142
- About the Polynomial System Solve Facility of
Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce
- In: "Computer Algebra Systems: A Practical Guide" (ed. M. Wester).
- Wiley, Chichester (1999), ch. 8
- The examples
- Minimal Primary Decomposition and Factorized
Groebner Bases
- J. AAECC 8 (1997), 265 - 278.
- Triangular Systems and Factorized Groebner
Bases
- Proc. AAECC-11, LNCS 948 (1995), 248 - 261
- On Factorized Groebner Bases
- In : Computer Algebra in Science and Engineering (ed. Fleischer,
Grabmeier, Hehl, Küchlin).
- World Scientific Singapore 1995, S. 77 - 89.
- The examples.
- Algorithms in local algebra.
- J. Symb. Comp. 19 (1995), 545-557
- A parallel Gröbner factorizer. (with
W. Lassner)
- In: Proc. PASCO'94 Linz, World Scientific, Singapore 1994, 48 - 53.
- The examples.