Some examples for solving systems of algebraic equations by calculating groebner bases
Journal of Symbolic Computation
On an installation of Buchberger's algorithm
Journal of Symbolic Computation
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
Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Buchberger Algorithm and Integer Programming
AAECC-9 Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
CoCoA: a User-Friendly System for Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
A criterion for detecting unnecessary reductions in the construction of Groebner bases
EUROSAM '79 Proceedings of the International Symposiumon 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
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A case study of multi-threaded Gröbner basis completion
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Computation of replicable functions on Risa/Asir
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Monomial representations for Gröbner bases computations
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Fast hierarchical clustering and other applications of dynamic closest pairs
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Fast hierarchical clustering and other applications of dynamic closest pairs
Journal of Experimental Algorithmics (JEA)
Computer algebra handbook
Parallel computation of Janet and Gröbner bases over rational numbers
Programming and Computing Software
Involutive divisions: Slice and pair properties
Programming and Computing Software
On selection of nonmultiplicative prolongations in computation of Janet bases
Programming and Computing Software
Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Thirty years of Polynomial System Solving, and now?
Journal of Symbolic Computation
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials
Journal of Symbolic Computation
IEEE Transactions on Circuits and Systems II: Express Briefs
Computing Gröbner Bases within Linear Algebra
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Detecting unnecessary reductions in an involutive basis computation
Journal of Symbolic Computation
A Gröbner basis approach to CNF-formulae preprocessing
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Passive complete orthonomic systems of PDEs and involutive bases of polynomial modules
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Gröbner bases for polynomial systems with parameters
Journal of Symbolic Computation
Computing inhomogeneous Gröbner bases
Journal of Symbolic Computation
Computing a structured Gröbner basis approximately
Proceedings of the 36th international symposium on Symbolic and algebraic computation
A generalized criterion for signature related Gröbner basis algorithms
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Applying IsRewritten criterion on Buchberger algorithm
Theoretical Computer Science
An interactive user interface for division algorithms and the buchberger algorithm
ICMS'06 Proceedings of the Second international conference on Mathematical Software
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Finding the exact rotation between two images independently of the translation
ECCV'12 Proceedings of the 12th European conference on Computer Vision - Volume Part VI
Parallel reduction of matrices in gröbner bases computations
CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
An analysis of inhomogeneous signature-based Gröbner basis computations
Journal of Symbolic Computation
Hi-index | 0.00 |