scientific article; zbMATH DE number 2020233

MaRDI QIDQ4440904zbMATH OpenFDO

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

Publication date 2003

Mathematics Subject Classification ID

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

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

(6)

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

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)