Admissible orders and linear forms
ACM SIGSAM Bulletin
Monomial orderings and Gröbner bases
ACM SIGSAM Bulletin
Reduction and completion algorithms for partial differential equations
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Applied combinatorics (3rd ed.)
Applied combinatorics (3rd ed.)
Representation for the radical of a finitely generated differential ideal
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Term Orderings on the Polynominal Ring
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Existence and uniqueness theorems for formal power series solutions of analytic differential systems
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Determination of maximal symmetry groups of classes of differential equations
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
An orderly linear PDE system with analytic initial conditions with a non-analytic solution
Journal of Symbolic Computation - Special issue: Algebra and computer analysis
Computer algebra handbook
Generalized Reduction in Rings of Differential Polynomials
Programming and Computing Software
Admissible orderings and finiteness criteria for differential standard bases
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Construction of rankings on partial derivatives
ACM Communications in Computer Algebra
Universal characteristic decomposition of radical differential ideals
Journal of Symbolic Computation
The Gröbner fan and Gröbner walk for modules
Journal of Symbolic Computation
Notes on triangular sets and triangulation-decomposition algorithms II: differential systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Hi-index | 0.00 |