Dynamic computations inside the algebraic closure of a valued field
From MaRDI portal
Publication:6390813
arXiv2202.05512MaRDI QIDQ6390813
Hervé Perdry, Henri, Franz-Viktor, Henri Lombardi, Daudé Hervé, Franz-Viktor Kuhlmann
Publication date: 11 February 2022
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)