论文标题
有价值场的代数闭合内的动态计算
Dynamic computations inside the algebraic closure of a valued field
论文作者
论文摘要
我们解释了如何计算有价值场的代数关闭。这些计算在很大程度上依赖于\ npaz。它们的精神与动态的代数封闭具有相同的精神。他们为定理提供了具体的内容，说一个有价值的领域确实具有代数封闭的估值扩展。为此目的创建的算法可用于对代数封闭的估值磁场进行有效的量词消除，这依赖于非常自然的几何思想。
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.
