Practical and efficient method for computations over real closed fields

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