论文标题
广义的泰勒公式，实际封闭估值字段中的计算和消除量词
Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
论文作者
论文摘要
我们使用广义的泰勒公式，以在\ ovfz的真实闭合中提供一些简单的结构。我们针对\ rcvfs推定了一种新的，简单的量词消除算法，以及一些有关实际评估仿射空间的可构造子集的定理。
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real valuative affine space.
