scientific article; zbMATH DE number 2020233

zbMATH Open1060.12005MaRDI QIDQ4440904FDOQ4440904

Henri Lombardi, Franz-Viktor Kuhlmann, Hervé Perdry

Publication date: 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Dynamical method in algebra: Effective Nullstellensätze
• 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)
• Dynamic evaluation and algebraic closure in Axiom

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)