Processing Polynomial Algebraic Problems by Using SAC-2/ALDES
刘卓军 · 1991
This paper discusses the portability of SAC-2/ALDES and reviews some applications in polynomial algebra.Furthermore,we indicate that the concept of the safety variable in the SAC-2/ALDES is not proper.When,for example,we used safety variable in isolating complex roots of polynomials,something wrong happened.