References
- J. F. Ritt (1950) Differential algebra. New York AMS Press.
- W. T. Wu (1991) Mechanical theorem proving of differential geometries and some of its applications in mechanics. J. Automated Reasoning 7.
- D. Wang (1996) An elimination method for differential polynomial systems. System Science and Mathematical Sciences 9:216-228.
- D. Wang (2001) A generalized algorithm for computing char sets. World Scientific Publishing Company Singapore 165-174.
- D. Wang (2001) Elimination methods, texts and monograms in symbolic computations. Springer-Verlag Wien New York.
- D. Wang (2004) Elimination practice: software tools and applications. Imperial College Press London.
- E. Hubert (2004) Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases. ISSAC ‘04Proceedings of the International Symposium on Symbolic and Algebraic Computation 191-198.
- F. Afzal, Some Applications of Generalized Char-Sets of Ordinary Differential Polynomial Sets, MATEC Web Conf, Volume 77, 2016, 3rd International Conference on Mechanics and Mechatronics Research (ICMMR 2016).
- F. Boulier, F. Lemaire, M. Moreno Maza (2010) Computing differential char sets by change of ordering. Journal of Symbolic Computation 45:124-149. doi: 10.1016/j.jsc.2009.09.004
- G. Gallo, B. Mishra, Wu-Ritt (1999) char sets and their complexity. Discrete Mathematics and Theoretical Computer Science American Mathematical Society Providence 6:1110-136.
- F. Afzal. Generalized char sets for ordinary differential polynomial sets, Science International, 28 (3), (2016).
- J. Meng, L. Xiaoliang, D. Wang (2013) A new algorithmic scheme for computing char sets. Journal of Symbolic Computation 50:431-449. doi: 10.1016/j.jsc.2012.04.004
- W. T. Wu (1987-1991) Mathematics-mechanization research preprints. MM Research Center Academia Sinica 986:1-6.