Pages that link to "Item:Q2341091"

The following pages link to Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot (Q2341091):

Displaying 50 items.

• Smith normal form in combinatorics (Q739399) (← links)
• On syzygy modules over Laurent polynomial rings (Q779968) (← links)
• On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case (Q827052) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• An elementary proof of Wiebe's theorem (Q1703086) (← links)
• Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
• Equivalent generating pairs of an ideal of a commutative ring (Q2042927) (← links)
• A counterexample to the Gröbner ring conjecture (Q2049385) (← links)
• Equivalent generating vectors of finitely generated modules over commutative rings (Q2069810) (← links)
• The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
• A note on connected reduced rings (Q2074409) (← links)
• Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
• Closed subsets in Bishop topological groups (Q2084948) (← links)
• Towards formal Baer criteria (Q2099403) (← links)
• Maximal ideals in countable rings, constructively (Q2104249) (← links)
• The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
• An algorithmic version of Zariski's lemma (Q2117812) (← links)
• Valuative dimension and monomial orders (Q2178564) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• Ribenboim's order extension theorem from a constructive point of view (Q2283062) (← links)
• Generalized matrix calculation over Prüfer domains (Q2305854) (← links)
• Cut elimination for entailment relations (Q2312091) (← links)
• The going-up and going-down theorems in residuated lattices (Q2318601) (← links)
• Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
• Local Bézout theorem for Henselian rings (Q2404865) (← links)
• Differential calculus on \(\mathbb{N}\)-graded manifolds (Q2421759) (← links)
• A universal algorithm for Krull's theorem (Q2672666) (← links)
• Radical theory of Scott-open filters (Q2682912) (← links)
• Anneaux à diviseurs et anneaux de Krull (une approche constructive) (Q2802205) (← links)
• (Q3296117) (← links)
• Point-Free Spectra of Linear Spreads (Q3305641) (← links)
• (Q4553278) (← links)
• Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• K-theory of n-coherent rings (Q5046111) (← links)
• An algorithm for doubly unitary Laurent polynomials (Q5053411) (← links)
• COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING (Q5075053) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• The syzygy theorem for Bézout rings (Q5207449) (← links)
• K-theory of coherent rings (Q5231706) (← links)
• Ordering groups constructively (Q5238136) (← links)
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
• Unimodular rows over Laurent polynomial rings (Q5878435) (← links)
• Sets of special subvarieties of bounded degree (Q5886894) (← links)
• On the structure of repeated-root polycyclic codes over local rings (Q6056443) (← links)
• Torsion-free nilpotent groups of small Hirsch length with isomorphic finite quotients (Q6170763) (← links)
• Valuative dimension, constructive points of view (Q6203783) (← links)
• Decompositions of nonlinear input-output systems to zero the output (Q6569412) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)