Pages that link to "Item:Q1186713"
From MaRDI portal
The following pages link to Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem (Q1186713):
Displaying 7 items.
- Effective computation of the integral closure of a morphism (Q2366061) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Strongly Noetherian rings and constructive ideal theory (Q2643522) (← links)
- Noetherian orders (Q3081324) (← links)
- The Ascending Tree Condition: Constructive Algebra Without Countable Choice (Q4804864) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Constructing Gröbner bases for Noetherian rings (Q5740356) (← links)
