Computing the Rational Univariate Representations for Zero-dimensional Systems Involving Interval Re

• 作 者: XiaoShuijing;ZengGuangxing;
• 机 构: Department of Mathematics,Nanchang University,Nanchang 330047,China
• 出 处: 第六届全国计算机数学学术会议
• 发表日期: 2014年期

　　The purpose of this paper is to investigate the rational univariate representations of zero-dimensional systems involving the interval representation.Let F be a computable ordered field with real closed extension R.As a representation of algebraic elements over F,the following definition is important for the symbolic computation in real algebra.