The following pages link to (Q3112383):
Displaying 20 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- \(d\)-Hermite rings and skew \(PBW\) extensions (Q332611) (← links)
- A constructive version of Laplace's proof on the existence of complex roots (Q375197) (← links)
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain (Q492033) (← links)
- Homogeneous system of parameters in codimension 1 and analytic independence (Q504318) (← links)
- The basic Zariski topology (Q887823) (← links)
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem (Q947482) (← 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)
- A constructive study of the module structure of rings of partial differential operators. (Q2255606) (← links)
- Generalized matrix calculation over Prüfer domains (Q2305854) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Un Algorithme pour le Calcul des Syzygies sur<b>V</b>[<i>X</i>] dans le cas où<b>V</b>est un Domaine de Valuation (Q2876243) (← links)
- Noetherian orders (Q3081324) (← links)
- Stably free modules over $\mathbf{R}[X]$ of rank $> \dim\mathbf{R}$ are free (Q3168742) (← links)
- The multivariate Serre conjecture ring (Q6142855) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)
- Valuative dimension, constructive points of view (Q6203783) (← links)
