Pages that link to "Item:Q3902472"
From MaRDI portal
The following pages link to A simplified proof of the characterization theorem for Gröbner-bases (Q3902472):
Displaying 6 items.
- New constructive methods in classical ideal theory (Q1090369) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain (Q1111629) (← links)
- A new notion of reduction: Generating universal Gröbner bases of ideals in \(K[x,y]\) (Q1186721) (← links)
- Notes on Gröbner bases (Q1262348) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)