1. Algorithmic Thomas decomposition of algebraic and differential systems;Bächler;J. Symb. Comput.,2012
2. Controlled and Conditioned Invariants in Linear System Theory;Basile,1992
3. Christopher, C., Llibre, J., Pantazi, C., and Walcher, S. (2009). Inverse problems for invariant algebraic curves: explicit computations. Proc. Royal Soc. Edinburgh, 139A, 287–302.
4. Ideals, Varieties, and Algorithms;Cox,1992
5. Decker, W., Greuel, G.M., Pfister, G., and Schönemann, H. (2015). Singular 4-0-2 — A computer algebra system for polynomial computations. http://www.singular.uni-kl.de.