scientific article; zbMATH DE number 2020233

MaRDI QIDQ4440904zbMATH OpenFDO

Authors Franz-Viktor Kuhlmann, Henri Lombardi, Hervé Perdry

Publication date 2003

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10) General valuation theory for fields (12J20) Polynomials, factorization in commutative rings (13P05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computing with algebraically closed fields
• Computable valued fields
• Directed evaluation
• Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
• scientific article; zbMATH DE number 2086907

Cited in

(7)

• Computable valued fields
• Dynamic evaluation and algebraic closure in Axiom
• Directed evaluation
• Spectral schemes as ringed lattices
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Dynamical method in algebra: Effective Nullstellensätze
• Multivariate Hensel lemma for ultrametric fields

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440904)