The following pages link to (Q4377762):
Displaying 49 items.
- New approaches to plactic monoid via Gröbner-Shirshov bases. (Q479745) (← links)
- Gröbner-Shirshov bases for Rota-Baxter algebras. (Q542177) (← links)
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106) (← links)
- On the computation of parametric Gröbner bases for modules and syzygies (Q623733) (← links)
- Gröbner-Shirshov bases for Lie algebras over a commutative algebra (Q657976) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Solving and factoring boundary problems for linear ordinary differential equations in differential algebras (Q928767) (← links)
- A bivariate preprocessing paradigm for the Buchberger-Möller algorithm (Q989141) (← links)
- Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. (Q1012560) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- Computing Gröbner bases by FGLM techniques in a non-commutative setting (Q1588032) (← links)
- A fast algorithm for Gröbner basis conversion and its applications (Q1588033) (← links)
- Numerical homotopies to compute generic points on positive dimensional algebraic sets (Q1594830) (← links)
- Traveling wave solutions for nonlinear equations using symbolic computation (Q1609129) (← links)
- A stabilized normal form algorithm for generic systems of polynomial equations (Q1639532) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- Betti numbers of polynomial hierarchical models for experimental designs (Q1926583) (← links)
- Algorithms for solving reachability problems in 2-link planar arms using Gröbner bases (Q1992129) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases (Q2017754) (← links)
- The exact solution of multiparametric quadratically constrained quadratic programming problems (Q2022221) (← links)
- Enhanced Koszul properties in Galois cohomology (Q2183187) (← links)
- Gröbner-Shirshov bases for some Lie algebras (Q2360276) (← links)
- Involutive bases algorithm incorporating F\(_5\) criterion (Q2437322) (← links)
- Gröbner-Shirshov bases for semirings. (Q2438451) (← links)
- GVW algorithm over principal ideal domains (Q2440326) (← links)
- On inverse systems and squarefree decomposition of zero-dimensional polynomial ideals (Q2457334) (← links)
- The symmetric group given by a Gröbner basis (Q2502924) (← links)
- A new algorithm for computing staggered linear bases (Q2687265) (← links)
- (Q2938373) (← links)
- Implicit Related-Key Factorization Problem on the RSA Cryptosystem (Q3297646) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117) (← links)
- Free Rota-Baxter systems and a Hopf algebra structure (Q4576714) (← links)
- Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras (Q4588382) (← links)
- Some new results on Gröbner–Shirshov bases for Lie algebras and around (Q4611333) (← links)
- Massless on-shell box integral with arbitrary powers of propagators (Q4686787) (← links)
- Gröbner–Shirshov bases for brace algebras (Q4689798) (← links)
- Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras (Q5124587) (← links)
- Gröbner–Shirshov bases for commutative dialgebras (Q5231173) (← links)
- The challenge of computer mathematics (Q5301849) (← links)
- Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras (Q5376005) (← links)
- Specific S-Box Criteria in Algebraic Attacks on Block Ciphers with Several Known Plaintexts (Q5504554) (← links)
- A new Composition-Diamond lemma for associative conformal algebras (Q5739063) (← links)
- One-sided noncommutative Gröbner bases with applications to computing Green's relations (Q5945117) (← links)
- Certified verification for algebraic abstraction (Q6535691) (← links)
- Counting \(\mathcal{N} = 8\) black holes as algebraic varieties (Q6568107) (← links)
- A new algorithm for Gröbner bases conversion (Q6650576) (← links)
- Birge ratio method for modeling dark uncertainty in multivariate meta-analyses and inter-laboratory studies (Q6656671) (← links)
