Experimenting the Gröbner basis algorithm with the A1PI system
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Gröbner basis, integration and transcendental functions
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
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
Gröbner bases and the number of Latin squares related to autotopisms of order ≤7
Journal of Symbolic Computation
Algebraic characterization of uniquely vertex colorable graphs
Journal of Combinatorial Theory Series B
Standard bases in K[[t1,...,tm]][x1,...,xn]s
Journal of Symbolic Computation
Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Expressing combinatorial problems by systems of polynomial equations and hilbert's nullstellensatz
Combinatorics, Probability and Computing
Generic initial ideals of points and curves
Journal of Symbolic Computation
Degree bounds for Gröbner bases of low-dimensional polynomial ideals
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Some combinatorial applications of Gröbner bases
CAI'11 Proceedings of the 4th international conference on Algebraic informatics
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
Journal of Symbolic Computation
Approximate GCD of several univariate polynomials with small degree perturbations
Journal of Symbolic Computation
Sudokus and Gröbner bases: not only a divertimento
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
An algebraic characterization of rainbow connectivity
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Most Tensor Problems Are NP-Hard
Journal of the ACM (JACM)
Hi-index | 0.00 |