Pages that link to "Item:Q1186713"

The following pages link to Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem (Q1186713):

Displayed 4 items.

• Effective computation of the integral closure of a morphism (Q2366061) ‎ (← 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)