Publications
Articles
- Joachim Apel and Ralf Hemmecke. Detecting unnecessary reductions in an involutive basis computation. Journal of Symbolic Computation, 40(4-5):1131-1149, 2005.
- Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, and Franz Winkler. Symbolic differential elimination theory for symmetry analysis. Mathematical and Computer Modelling of Dynamical Systems, 10(2):123-147, June 2004.
- Ralf Hemmecke. Dynamical aspects of involutive bases computations. In Franz Winkler and Ulrich Langer, editors, Symbolic and Numeric Scientific Computation, number 2630 in Lecture Notes in Computer Science, pages 168-182. Springer-Verlag, 2003.
- Ralf Hemmecke. Continuously parameterized symmetries and Buchberger's algorithm. Journal of Symbolic Computation, 33(1):43-55, January 2002.
- Ralf Hemmecke, Erik Hillgarter, and Franz Winkler. CASA. In J. Grabmeier, E. Kaltofen, and V. Weispfenning, editors, Computer Algebra Handbook: Foundation, Applications, Systems, chapter 4.2.8, pages 356-359. Springer-Verlag, Heidelberg, 2003.
- Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, and Franz Winkler. An evaluation of the state of the CASA system. RISC Linz Report Series 98-16, Research Institute for Symbolic Computation, Johannes Kepler Universität, 4040 Linz, Austria, Europe, October 1998.
Talks
- Ralf Hemmecke. Calix--An Aldor package to compute Gröbner and involutive bases, November 2003. Talk presented at INRIA, Sophia-Antipolis, France.
- Ralf Hemmecke. Involutive divisions and involutive bases in the polynomial case, September 2003. Talk presented at MSRI, Berkeley, California.
- Ralf Hemmecke. Detecting unnecessary reductions in an involutive basis computation, June 2002. Talk presented at the Conference on Applications of Computer Algebra (ACA'02), Volos, Greece. Joint work with J. Apel.
- Ralf Hemmecke. A contribution to the faster computation of involutive bases, May 2002. Talk presented at the University of Leipzig, Germany.
- Ralf Hemmecke. An efficient method for finding a simplifier in an involutive basis computation. In Jacques Calmet, Marcus Hausdorf, and Werner M. Seiler, editors, Proceedings of the Workshop on Under- and Overdetermined Systems of Algebraic or Differential Equations, March 18-19, 2002, Karlsruhe, Germany, pages 87-95. Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, March 2002. Local proceedings.
- Ralf Hemmecke. Dynamical aspects of involutive bases computations, September 2001. Talk presented at the Conference on Symbolic and Numeric Scientific Computation (SNSC'01), Hagenberg, Austria.
- Ralf Hemmecke. Dynamical aspects of involutive bases computations, June 2001. Talk presented at the Conference on Applications of Computer Algebra (ACA'01), Albuquerque, New Mexico.
- Ralf Hemmecke. Computational algebraic geometry with CASA, April 2001. Talk presented at a German SFB Workshop in Herrsching/Ammersee (Germany).
- Ralf Hemmecke. CASA--A Maple package to investigate algebraic curves, December 1999. Talk presented at the University of Duisburg, Germany.
Diploma and PhD Theses
- Ralf Hemmecke. Lösen von Gleichungssystemen mit kontinuierlichen Symmetrien. Diplomarbeit, Universität Leipzig, Augustusplatz 10-11, 04109 Leipzig, Germany, February 1996.
- Ralf Hemmecke. Involutive Bases for Polynomial Ideals. PhD thesis, Universität Linz, 4040 Linz, Austria, February 2003.
- Ralf Hemmecke, Erik Hillgarter, Günter Landsmann, and Franz
Winkler:
Symbolic Differential Elimination for Symmetry Analysis
SFB F013 Report 2003-08.Abstract: Differential problems are ubiquitous in mathematical modeling of physical and scientific problems. Algebraic analysis of differential systems can help in determining qualitative and quantitative properties of solutions of such systems. We describe several algebraic methods for investigating differential systems.
- Ralf Hemmecke:
Involutive Bases for Polynomial Ideals
PhD Thesis, Johannes Kepler Universität Linz, 2003
RISC report 03-02Abstract: This thesis contributes to the theory of polynomial involutive bases. Firstly, we present the two existing theories of involutive divisions, compare them, and come up with a generalised approach of suitable partial divisions. The thesis is built on this generalised approach. Secondly, we treat the question of choosing a "good" suitable partial division in each iteration of the involutive basis algorithm. We devise an efficient and flexible algorithm for this purpose, the Sliced Division algorithm. During the involutive basis algorithm, the Sliced Division algorithm contributes to an early detection of the involutive basis property and a minimisation of the number of critical elements. Thirdly, we give new criteria to avoid unnecessary reductions in an involutive basis algorithm. We show that the termination property of an involutive basis algorithm which applies our criteria is independent of the prolongation selection strategy used during its run. Finally, we present an implementation of the algorithms and results of this thesis in our software package CALIX.
- Joachim Apel and Ralf Hemmecke:
Detecting Unnecessary Reductions in an Involutive Basis Computation
RISC report 02-22Abstract: We consider the check of the involutive basis property in a polynomial context. In order to show that a finite generating set F of a polynomial ideal I is an involutive basis one must confirm two properties. Firstly, the set of leading terms of the elements of F has to be complete. Secondly, one has to prove that F is a Gröbner basis of I. The latter is the time critical part but can be accelerated by application of Buchberger's criteria including the many improvements found during the last two decades.
Gerdt and Blinkov (Involutive Bases of Polynomial Ideals. Mathematics and Computers in Simulation 45, pp. 519-541, 1998) were the first who applied these criteria in involutive basis computations. We present criteria which are also transfered from the theory of Gröbner bases to involutive basis computations. We illustrate that our results exploit the Gröbner basis theory slightely more than those of Gerdt and Blinkov. Our criteria apply in all cases where those of Gerdt/Blinkov do, but we also present examples where our criteria are superior.
Some of our criteria can be used also in algebras of solvable type, e.g., Weyl algebras or enveloping algebras of Lie algebras, in full analogy to the Gröbner basis case.
We show that the application of criteria enforces the termination of the involutive basis algorithm independent of the prolongation selection strategy.
- Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, Franz Winkler:
An Evaluation of the State of the CASA System
RISC report 98-16 - Ralf Hemmecke:
Dynamical Aspects of Involutive Bases Computations
RISC report 01-28
also available from SpringerAbstract: The article is a contribution to a more efficient computation of involutive bases. We present an algorithm which computes a `sliced division'. A sliced division is an admissible partial division in the sense of Apel. Admissibility requires a certain order on the terms. Instead of ordering the terms in advance, our algorithm additionally returns such an order for which the computed sliced division is admissible. Our algorithm gives rise to a whole class of sliced divisions since there is some freedom to choose certain elements in the course of its run. We show that each sliced division refines the Thomas division and thus leads to terminating completion algorithms for the computation of involutive bases. A sliced division is such that its cones `cover' a relatively `big' part of the term monoid generated by the given terms. The number of prolongations that must be considered during the involutive basis algorithm is tightly connected to the dimensions and number of the cones. By some computer experiments, we show how this new division can be fruitful for the involutive basis algorithm.
We generalise the sliced division algorithm so that it can be seen as an algorithm which is parameterised by two choice functions and give particular choice functions for the computation of the classical divisions of Janet, Pommaret, and Thomas.
- Ralf Hemmecke:
Lösen von Gleichungssystemen mit kontinuierlichen Symmetrien
Diplomarbeit, Universität Leipzig, 1996. - Ralf Hemmecke:
Investigations about Monads
University of Kent, Canterbury, 1993.