1. Donald B R, Kapur D, and Mundy J L, Symbolic and numerical computation for artificial intelligence, Computational Mathematics and Applications, Academic Press, Orlando, Florida, 1992, 52–55.
2. Gao X S and Chou S C, Solving parametric algebraic systems, Proceedings of International Symposium on Symbolic and Algebraic Computation, ACM Press, New York, 1992, 335–341.
3. William Y S, An algorithm for solving parametric linear systems, Journal of Symbolic Computation, 1992, 13(4): 353–394.
4. Chen C, Golubitsky O, Lemaire F, et al., Comprehensive triangular decomposition, International Workshop on Computer Algebra in Scientific Computing, Springer, Berlin, 2007, 73–101.
5. Lazard D and Rouillier F, Solving parametric polynomial systems, Journal of Symbolic Computation, 2007, 42(6): 636–667.