An iterative constructive Hilbert basis theorem
From MaRDI portal
Cites work
- A constructive picture of Noetherian conditions and well quasi-orders
- A course in constructive algebra
- A logical approach to abstract algebra
- Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
- Constructing Gröbner bases for Noetherian rings
- Constructive Aspects of Noetherian Rings
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Do Noetherian modules have Noetherian basis functions?
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 638938 (Why is no real title available?)
- scientific article; zbMATH DE number 1420784 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- Lazy bases: a minimalist constructive theory of Noetherian rings
- Noetherian orders
- Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
- Strongly Noetherian rings and constructive ideal theory
- The Ascending Tree Condition: Constructive Algebra Without Countable Choice
- The syzygy theorem for Bézout rings
- What is Noetherian?
This page was built for publication: An iterative constructive Hilbert basis theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6983678)
