A course in constructive algebra
From MaRDI portal
Recommendations
- Constructive algebra
- Constructive universal algebra: An introduction
- A course on abstract algebra
- scientific article; zbMATH DE number 5655814
- scientific article; zbMATH DE number 1405632
- A course in commutative algebra
- Abstract algebra and construction problems
- scientific article; zbMATH DE number 5828956
- scientific article; zbMATH DE number 5791094
- Constructing and Reconstructing of Algebras
Cited in
(only showing first 100 items - show all)- Modules over commutative rings. Course and exercises
- Laurent series over \(\mathbb{R}\)
- Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain
- Radical theory of Scott-open filters
- Stably free modules over \(\mathbf R[X]\) of rank \(>\dim\mathbf R\) are free
- CONSTRUCTIVE KRULL DIMENSION I: INTEGRAL EXTENSIONS
- Dynamical Gröbner bases over Dedekind rings
- Ribenboim's order extension theorem from a constructive point of view
- A double Sylvester determinant
- Sharp elements and apartness in domains
- Markov and Division Inequalities on Algebraic Sets
- Can constructive mathematics be applied in physics?
- Algebras of complemented subsets
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- A DIVISION ALGORITHM
- Maximal elements with minimal logic
- On free abelian categories for theorem proving
- Exploring mathematical objects from custom-tailored mathematical universes
- A constructive notion of codimension
- On graded Cartan invariants of symmetric groups and Hecke algebras
- Notions of anonymous existence in Martin-Löf type theory
- Inverse semigroups with apartness
- Fast separable factorization and applications
- Suggested Corrections for “A Principal Ideal Domain That Is Not a Euclidean Domain”
- Lattice-ordered groups generated by an ordered group and regular systems of ideals
- A transfer theorem in constructive \(p\)-adic algebra
- Square-free algorithms in positive characteristic
- Proof-relevance of families of setoids and identity in type theory
- Eliminating disjunctions by disjunction elimination
- Some elementary results in intuitionistic model theory
- Closed subsets in Bishop topological groups
- The trailing terms ideal over a valuation domain
- Eliminating disjunctions by disjunction elimination
- Van Der Waerden's Construction of a Splitting Field
- The Hermite ring conjecture in dimension one
- Un Algorithme pour le Calcul des Syzygies surV[X] dans le cas oùVest un Domaine de Valuation
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
- A new approach to abstract data types, I Informal development
- On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case
- Syntax for semantics: Krull's maximal ideal theorem
- Type-theoretic approaches to ordinals
- Maximal ideals in countable rings, constructively
- Quotient topologies in constructive set theory and type theory
- Constructive rereading of Artin-Schreier theory
- Revisiting Zariski main theorem from a constructive point of view
- scientific article; zbMATH DE number 4008530 (Why is no real title available?)
- A weak countable choice principle
- Methods of constructive category theory
- Constructive finite free resolutions
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- A univalent formalization of the \(p\)-adic numbers
- scientific article; zbMATH DE number 1405632 (Why is no real title available?)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
- A very weak Nullstellensatz over Heyting fields
- A matrix ring with commuting graph of maximal diameter
- scientific article; zbMATH DE number 7217919 (Why is no real title available?)
- The multivariate Serre conjecture ring
- Anneaux à diviseurs et anneaux de Krull (une approche constructive)
- On seminormality
- Continuity properties for flat families of polynomials. I: Continuous parametrizations
- Co-quasiordered residuated systems: an introduction
- Are there enough injective sets?
- An algorithmic version of Zariski's lemma
- A constructive picture of Noetherian conditions and well quasi-orders
- Exploring abstract algebra in constructive type theory
- Constructing Gröbner bases for Noetherian rings
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
- A universal algorithm for Krull's theorem
- Derivations and radicals of polynomial ideals over fields of arbitrary characteristic
- A theorem of Gilmer and the canonical universal splitting ring
- A strong constructive version of engel's theorem
- Countable random 𝑝-groups with prescribed Ulm-invariants
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- The trailing terms ideal
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Noetherian orders
- 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.)
- Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
- On co-filters in semigroups with apartness
- Sets completely separated by functions in Bishop set theory
- Space of valuations
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
- Classical mathematics for a constructive world
- Constructive algebra
- Ideals in constructive Banach algebra theory
- Unimodular rows over Laurent polynomial rings
- Finite type projective modules, crossed linear maps and generalized inverses. (Modules projectifs de type fini, applications linéaires croisées et inverses généralisés)
- COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING
- A formal proof of the projective Eisenbud-Evans-Storch theorem
- Basic notions of (constructive) semigroups with apartness
- A generalization of the Takeuti-Gandy interpretation
- The Gröbner ring conjecture in one variable
- Dynamical Gröbner bases
- The Ascending Tree Condition: Constructive Algebra Without Countable Choice
- Constructive completions of ordered sets, groups and fields
- Ordering groups constructively
- Semigroups with apartness
- The constructive theory of torsion-free abelian groups
- Dynamical method in algebra: Effective Nullstellensätze
This page was built for publication: A course in constructive algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1210701)
