scientific article; zbMATH DE number 2020233
From MaRDI portal
Publication:4440904
zbMath1060.12005MaRDI QIDQ4440904
Henri Lombardi, Franz-Viktor Kuhlmann, Hervé Perdry
Publication date: 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Polynomials, factorization in commutative rings (13P05) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10) General valuation theory for fields (12J20)
Related Items
Spectral schemes as ringed lattices ⋮ Dynamical method in algebra: Effective Nullstellensätze ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)