Dynamic computations inside the algebraic closure of a valued field

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

Publication date 11 February 2022

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)

Abstract: We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem saying that a valued field does have an algebraically closed valued extension. The algorithms created for that purpose can be used to perform an effective quantifier elimination for algebraically closed valued fields, which relies on a very natural geometric idea.

This page was built for publication: Dynamic computations inside the algebraic closure of a valued field

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