scientific article; zbMATH DE number 1120551

From MaRDI portal
Publication:4377762

zbMath0883.00014MaRDI QIDQ4377762

No author found.

Publication date: 24 February 1998


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Gröbner-Shirshov bases for some Lie algebras, Automating Change of Representation for Proofs in Discrete Mathematics, A stabilized normal form algorithm for generic systems of polynomial equations, The challenge of computer mathematics, \textit{Theorema}: Towards computer-aided mathematical theory exploration, Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants, Free Rota-Baxter systems and a Hopf algebra structure, Betti numbers of polynomial hierarchical models for experimental designs, Enhanced Koszul properties in Galois cohomology, Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras, On the computation of parametric Gröbner bases for modules and syzygies, Incorporating decision procedures in implicit induction., A new algorithm for computing staggered linear bases, Involutive bases algorithm incorporating F\(_5\) criterion, Gröbner-Shirshov bases for semirings., Some new results on Gröbner–Shirshov bases for Lie algebras and around, Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras, GVW algorithm over principal ideal domains, Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras, Solving and factoring boundary problems for linear ordinary differential equations in differential algebras, Gröbner-Shirshov bases for Lie algebras over a commutative algebra, On the mechanization of straightedge and compass constructions, New approaches to plactic monoid via Gröbner-Shirshov bases., Implicit Related-Key Factorization Problem on the RSA Cryptosystem, On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals, Algorithms for solving reachability problems in 2-link planar arms using Gröbner bases, A symbolic dynamic geometry system using the analytical geometry method, A new Composition-Diamond lemma for associative conformal algebras, Gröbner-Shirshov bases for Rota-Baxter algebras., One-sided noncommutative Gröbner bases with applications to computing Green's relations, On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases, The exact solution of multiparametric quadratically constrained quadratic programming problems, The symmetric group given by a Gröbner basis, A bivariate preprocessing paradigm for the Buchberger-Möller algorithm, Massless on-shell box integral with arbitrary powers of propagators, Gröbner–Shirshov bases for brace algebras, Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators., Gröbner–Shirshov bases for commutative dialgebras, A verified common lisp implementation of Buchberger's algorithm in ACL2, Unnamed Item, Specific S-Box Criteria in Algebraic Attacks on Block Ciphers with Several Known Plaintexts, Computing Gröbner bases by FGLM techniques in a non-commutative setting, A fast algorithm for Gröbner basis conversion and its applications, Numerical homotopies to compute generic points on positive dimensional algebraic sets, Traveling wave solutions for nonlinear equations using symbolic computation


Uses Software