The following pages link to (Q4736172):
Displayed 19 items.
- The Gröbner ring conjecture in one variable (Q415466) (← 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 syzygy modules over Laurent polynomial rings (Q779968) (← 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 unimodular completion over Laurent polynomial rings (Q947632) (← 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)
- Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain (Q2254141) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- Suslin's algorithms for reduction of unimodular rows (Q2456568) (← links)
- An algorithm for unimodular completion over noetherian rings (Q2464486) (← links)
- Making the use of maximal ideals constructive (Q2476020) (← links)
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800) (← links)
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) (Q2575772) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- The Gröbner ring conjecture in the lexicographic order case (Q2636958) (← links)
- Stably free modules over $\mathbf{R}[X]$ of rank $> \dim\mathbf{R}$ are free (Q3168742) (← links)
- Un anneau de Prüfer (Q4682433) (← links)
- COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING (Q5075053) (← links)