Admissible orders and linear forms
ACM SIGSAM Bulletin
Admissible term orderings used in computer algebra systems
ACM SIGSAM Bulletin
Journal of Symbolic Computation
Gröbner bases and Hilbert schemes. I
Journal of Symbolic Computation
Computing dimension and independent sets for polynomial ideals
Journal of Symbolic Computation
Some comments on term-ordering in Gröbner basis computations
ACM SIGSAM Bulletin
A geometric consistency theorem for a symbolic perturbation scheme
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Monomial orderings and Gröbner bases
ACM SIGSAM Bulletin
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
A dynamic algorithm for Gröbner basis computation
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
An optimal algorithm for constructing the reduced Gröbner basis of binomial ideals
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Exponential space computation of Gröbner bases
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Multigraded Hilbert functions and Buchberger algorithm
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
MPP: a framework for distributed polynomial computations
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Rankings of partial derivatives
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Families of ideals in statistics
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Monomial representations for Gröbner bases computations
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
The term orderings which are compatible with composition II
Journal of Symbolic Computation
Computer algebra handbook
Efficient Groebner walk conversion for implicitization of geometric objects
Computer Aided Geometric Design
Journal of Symbolic Computation
A new class of term orders for elimination
Journal of Symbolic Computation
Generalized power series solutions to linear partial differential equations
Journal of Symbolic Computation
Complexity of Comparing Monomials and Two Improvements of the Buchberger-Möller Algorithm
Mathematical Methods in Computer Science
Enumeration of finite monomial orderings and combinatorics of universal Gröbner bases
Programming and Computing Software
Efficient Groebner walk conversion for implicitization of geometric objects
Computer Aided Geometric Design
The Gröbner fan and Gröbner walk for modules
Journal of Symbolic Computation
Tangent cone algorithm for homogenized differential operators
Journal of Symbolic Computation
Journal of Symbolic Computation
On the Structure of Order Domains
Finite Fields and Their Applications
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |