Pages that link to "Item:Q5682414"

The following pages link to Constructive Aspects of Noetherian Rings (Q5682414):

Displaying 28 items.

• A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
• Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm (Q915859) (← links)
• On constructing bases for ideals in polynomial rings over the integers (Q1052408) (← links)
• Computing a Gröbner basis of a polynomial ideal over a Euclidean domain (Q1111629) (← links)
• Gröbner bases and primary decomposition of polynomial ideals (Q1117277) (← links)
• Lifting canonical algorithms from a ring R to the ring R[x] (Q1121016) (← links)
• Computable algebra and group embeddings (Q1170619) (← links)
• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem (Q1186713) (← links)
• Rational series with coefficients in a commutative ring (Q1194316) (← links)
• Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen (Q1256518) (← links)
• Notes on Gröbner bases (Q1262348) (← links)
• A solution to Kronecker's problem (Q1335137) (← links)
• The decomposition theorem for ideals in polynomial rings over a domain (Q1835957) (← links)
• The complexity of the word problems for commutative semigroups and polynomial ideals (Q1836661) (← links)
• Conjugacy problem in metabelian groups (Q1836742) (← links)
• Effective computation of the integral closure of a morphism (Q2366061) (← links)
• A constructive notion of codimension (Q2445023) (← links)
• Ideals in computable rings (Q2456205) (← links)
• Strongly Noetherian rings and constructive ideal theory (Q2643522) (← links)
• (Q3758944) (← links)
• Basic sub groups from a constructive viewpoint (Q3880847) (← links)
• What is Noetherian? (Q4113927) (← links)
• Ideal membership in polynomial rings over the integers (Q4461098) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• Generalized Gröbner bases: Theory and applications. A condensation (Q5055723) (← links)
• On polynomial ideals, their complexity, and applications (Q5055880) (← links)
• Membership in polynomial ideals over Q is exponential space complete (Q5096173) (← links)
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344) (← links)