| Publication | Date of Publication | Type |
|---|
Ideals and graphs, Gröbner bases and decision procedures in graphs
Discrete Mathematics | 2008-01-30 | Paper |
| A survey on differential Gröbner bases | 2008-01-02 | Paper |
Ideals, bifiltered modules and bivariate Hilbert polynomials
Journal of Symbolic Computation | 2007-10-23 | Paper |
| Generalized differential resultant systems of algebraic ODEs and differential elimination theory | 2006-06-26 | Paper |
| scientific article; zbMATH DE number 2077082 (Why is no real title available?) | 2004-07-01 | Paper |
Improved Kolchin-Ritt algorithm
Programming and Computer Software | 2004-03-29 | Paper |
Triangular matrices, differential resultants and systems of linear homogeneous PDE's
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1751830 (Why is no real title available?) | 2002-07-24 | Paper |
A resultant theory for the systems of two ordinary algebraic differential equations
Applicable Algebra in Engineering, Communication and Computing | 2001-11-28 | Paper |
| scientific article; zbMATH DE number 1263611 (Why is no real title available?) | 2000-05-09 | Paper |
Differential Gröbner bases in one variable and in the partial case
Mathematical and Computer Modelling | 1998-12-06 | Paper |
| scientific article; zbMATH DE number 1189071 (Why is no real title available?) | 1998-08-13 | Paper |
The dimension method in elementary and differential geometry
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
An extension of a procedure to prove statements in differential geometry
Journal of Automated Reasoning | 1994-12-21 | Paper |
| scientific article; zbMATH DE number 524263 (Why is no real title available?) | 1994-04-17 | Paper |
| scientific article; zbMATH DE number 493144 (Why is no real title available?) | 1994-01-26 | Paper |
On superG-bases
Journal of Pure and Applied Algebra | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 15047 (Why is no real title available?) | 1992-06-25 | Paper |
Kolchin schemes
Journal of Pure and Applied Algebra | 1990-01-01 | Paper |
A procedure to prove statements in differential geometry
Journal of Automated Reasoning | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4181494 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4110159 (Why is no real title available?) | 1989-01-01 | Paper |
Gröbner bases and Hilbert schemes. I
Journal of Symbolic Computation | 1988-01-01 | Paper |
Some properties of the lattice points and their application to differential algebra*
Communications in Algebra | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995052 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3952904 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3983344 (Why is no real title available?) | 1985-01-01 | Paper |
