scientific article

From MaRDI portal
Publication:3112383

zbMath1242.13002MaRDI QIDQ3112383

Claude Quitté, Henri Lombardi

Publication date: 16 January 2012


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

A universal Krull-Lindenbaum theoremStably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free] ⋮ Spectral schemes as ringed lattices\(d\)-Hermite rings and skew \(PBW\) extensionsThe trailing terms ideal over a valuation domainCOMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}, R A VALUATION RING] ⋮ A constructive version of Laplace's proof on the existence of complex rootsThe basic Zariski topologyRevisiting Zariski main theorem from a constructive point of viewThe multivariate Serre conjecture ringMaximal elements with minimal logicValuative Lattices and SpectraValuative dimension, constructive points of viewSpectral Spaces Versus Distributive Lattices: A DictionaryA constructive notion of codimensionMathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X^m\) where \textbf{V} is a valuation domain] ⋮ Homogeneous system of parameters in codimension 1 and analytic independenceA constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theoremThe trailing terms idealComputing syzygies over \(V [X_1, \ldots, X_k\), \(V\) a valuation domain] ⋮ A constructive study of the module structure of rings of partial differential operators.Noetherian ordersGeneralized matrix calculation over Prüfer domainsConstructibilité et modération uniformes en cohomologie étaleUn Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation]