A New Algorithm for Determining Sign of Real Algebraic Numbers

• 实代数数符号判定的一种新算法