The following pages link to A course in constructive algebra (Q1210701):
Displaying 50 items.
- A matrix ring with commuting graph of maximal diameter (Q272324) (← links)
- Basic notions of (constructive) semigroups with apartness (Q309964) (← links)
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- The Gröbner ring conjecture in one variable (Q415466) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain (Q492033) (← links)
- On graded Cartan invariants of symmetric groups and Hecke algebras (Q509990) (← links)
- Curves and coherent Prüfer rings (Q607061) (← links)
- Proof-relevance of families of setoids and identity in type theory (Q661282) (← links)
- Constructive finite free resolutions (Q663308) (← links)
- Derivations and radicals of polynomial ideals over fields of arbitrary characteristic (Q697486) (← links)
- A very weak Nullstellensatz over Heyting fields (Q698628) (← links)
- On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case (Q827052) (← links)
- Dynamical Gröbner bases (Q855700) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Polynomials and linear transformations (Q913885) (← links)
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← links)
- The Hermite ring conjecture in dimension one (Q947534) (← links)
- An algorithm for the Traverso-Swan theorem on seminormal rings (Q948720) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Dynamical Gröbner bases over Dedekind rings (Q984989) (← links)
- Space of valuations (Q1006605) (← links)
- Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem (Q1186713) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← links)
- Self-witnessing polynomial-time complexity and prime factorization (Q1200292) (← links)
- A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field (Q1313807) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Continuity properties for flat families of polynomials. I: Continuous parametrizations (Q1408354) (← links)
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval (Q1589441) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Combinatorial topology and constructive mathematics (Q1788338) (← links)
- Can constructive mathematics be applied in physics? (Q1818378) (← links)
- Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.) (Q1887479) (← links)
- Square-free algorithms in positive characteristic (Q1908897) (← links)
- Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
- A constructive approach to Freyd categories (Q2035866) (← links)
- On free abelian categories for theorem proving (Q2078414) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- An algorithmic version of Zariski's lemma (Q2117812) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain (Q2254141) (← links)
- Ribenboim's order extension theorem from a constructive point of view (Q2283062) (← links)
- Generalized matrix calculation over Prüfer domains (Q2305854) (← links)
- Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
