实闭域计算的一个实用有效方法

• Practical and efficient method for computations over real closed fields