The following pages link to (Q3336682):
Displaying 22 items.
- On the construction of Gröbner bases using syzygies (Q909718) (← links)
- Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm (Q915859) (← links)
- Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Critical pair criteria for completion (Q1106659) (← links)
- A generalization of reduction rings (Q1109083) (← links)
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain (Q1111629) (← links)
- On the D-bases of polynomial ideals over principal ideal domains (Q1118398) (← links)
- Lifting canonical algorithms from a ring R to the ring R[x] (Q1121016) (← links)
- On lucky ideals for Gröbner basis computations (Q1209625) (← links)
- Sistemi normali di generatori per gli ideali di \(Z[X]\) (Q1239193) (← links)
- Classification of three-dimensional covariant differential calculi on Podles' quantum spheres and on related spaces (Q1334977) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- A generalization of Gröbner basis algorithms to polycyclic group rings (Q1382039) (← links)
- Gröbner bases in orders of algebraic number fields. (Q1599544) (← links)
- A survey on signature-based algorithms for computing Gröbner bases (Q1711995) (← links)
- Axiomatic definition of small cancellation rings (Q2116708) (← links)
- Gröbner bases with coefficients in rings (Q2466868) (← links)
- Mathematical Theory Exploration in Theorema: Reduction Rings (Q2817288) (← links)
- Combining Equational Reasoning (Q3655192) (← links)
- Generalized Gröbner bases: Theory and applications. A condensation (Q5055723) (← links)
- Symideal Gröbner bases (Q5055851) (← links)