Huang, Cheng-Chao; Xu, Ming; Li, Zhi-Bin A conflict-driven solving procedure for poly-power constraints. (English) Zbl 1468.68202 J. Autom. Reasoning 64, No. 1, 1-20 (2020). MSC: 68T20 68T05 68W30 PDFBibTeX XMLCite \textit{C.-C. Huang} et al., J. Autom. Reasoning 64, No. 1, 1--20 (2020; Zbl 1468.68202) Full Text: DOI
Huang, Cheng-Chao; Li, Jing-Cao; Xu, Ming; Li, Zhi-Bin Positive root isolation for poly-powers by exclusion and differentiation. (English) Zbl 1378.68200 J. Symb. Comput. 85, 148-169 (2018). MSC: 68W30 12D10 12Y05 92C42 PDFBibTeX XMLCite \textit{C.-C. Huang} et al., J. Symb. Comput. 85, 148--169 (2018; Zbl 1378.68200) Full Text: DOI
Yang, Le; Liu, Yinping; Li, Zhibin Emathema: an online automated computing platform for equations. (Chinese. English summary) Zbl 1399.68316 J. East China Norm. Univ., Nat. Sci. Ed. 2017, No. 3, 20-28 (2017). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Yang} et al., J. East China Norm. Univ., Nat. Sci. Ed. 2017, No. 3, 20--28 (2017; Zbl 1399.68316) Full Text: DOI
Hao, Xiazhi; Liu, Yinping; Tang, Xiaoyan; Li, Zhibin A Maple package for finding interaction solutions of nonlinear evolution equations. (English) Zbl 1368.35004 Comput. Math. Appl. 72, No. 9, 2450-2461 (2016). MSC: 35-04 35Q53 68W30 PDFBibTeX XMLCite \textit{X. Hao} et al., Comput. Math. Appl. 72, No. 9, 2450--2461 (2016; Zbl 1368.35004) Full Text: DOI
Liu, Yinping; Yao, Ruoxia; Li, Zhibin; Yang, Le; Zhang, Zhian An online computing and knowledge platform for differential equations. (English) Zbl 1434.68710 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 181-188 (2016). MSC: 68W30 34-04 34A34 68V30 PDFBibTeX XMLCite \textit{Y. Liu} et al., Lect. Notes Comput. Sci. 9725, 181--188 (2016; Zbl 1434.68710) Full Text: DOI
Xu, Ming; Li, Zhi-Bin; Yang, Lu Quantifier elimination for a class of exponential polynomial formulas. (English) Zbl 1382.03056 J. Symb. Comput. 68, Part 1, 146-168 (2015). MSC: 03C10 14Q15 68W30 PDFBibTeX XMLCite \textit{M. Xu} et al., J. Symb. Comput. 68, Part 1, 146--168 (2015; Zbl 1382.03056) Full Text: DOI
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin Some decidable results on reachability of solvable systems. (English) Zbl 1278.93046 Int. J. Gen. Syst. 42, No. 4, 405-425 (2013). MSC: 93B03 93C10 93C30 PDFBibTeX XMLCite \textit{M. Xu} et al., Int. J. Gen. Syst. 42, No. 4, 405--425 (2013; Zbl 1278.93046) Full Text: DOI
Liu, Y. P.; Liao, S. J.; Li, Z. B. Symbolic computation of strongly nonlinear periodic oscillations. (English) Zbl 1325.68292 J. Symb. Comput. 55, 72-95 (2013). MSC: 68W30 65L99 68T15 34C15 PDFBibTeX XMLCite \textit{Y. P. Liu} et al., J. Symb. Comput. 55, 72--95 (2013; Zbl 1325.68292) Full Text: DOI
Xu, Ming; Li, Zhi-Bin Symbolic termination analysis of solvable loops. (English) Zbl 1253.68224 J. Symb. Comput. 50, 28-49 (2013). MSC: 68Q60 68W30 PDFBibTeX XMLCite \textit{M. Xu} and \textit{Z.-B. Li}, J. Symb. Comput. 50, 28--49 (2013; Zbl 1253.68224) Full Text: DOI
Xu, Ming; Mu, Chuandong; Zeng, Zhenbing; Li, Zhi-Bin A heuristic approach to positive root isolation for multiple power sums. (English) Zbl 1216.68349 J. UCS 16, No. 14, 1912-1926 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{M. Xu} et al., J. UCS 16, No. 14, 1912--1926 (2010; Zbl 1216.68349) Full Text: Link
Xu, Ming; Chen, Liangyu; Zeng, Zhenbing; Li, Zhi-Bin Termination analysis of linear loops. (English) Zbl 1213.68213 Int. J. Found. Comput. Sci. 21, No. 6, 1005-1019 (2010). MSC: 68N30 68Q60 68W30 68-04 PDFBibTeX XMLCite \textit{M. Xu} et al., Int. J. Found. Comput. Sci. 21, No. 6, 1005--1019 (2010; Zbl 1213.68213) Full Text: DOI
Zhou, Zhen-jiang; Fu, Jing-zhi; Li, Zhi-bin Maple packages for computing Hirota’s bilinear equation and multisoliton solutions of nonlinear evolution equations. (English) Zbl 1205.65281 Appl. Math. Comput. 217, No. 1, 92-104 (2010). MSC: 65M70 PDFBibTeX XMLCite \textit{Z.-j. Zhou} et al., Appl. Math. Comput. 217, No. 1, 92--104 (2010; Zbl 1205.65281) Full Text: DOI
Xu, Ming; Chen, Liangyu; Zeng, Zhenbing; Li, Zhi-bin Real root isolation of multi-exponential polynomials with application. (English) Zbl 1274.68691 Rahman, Md. Saidur (ed.) et al., WALCOM: Algorithms and computation. 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11439-7/pbk). Lecture Notes in Computer Science 5942, 263-268 (2010). MSC: 68W25 68W30 PDFBibTeX XMLCite \textit{M. Xu} et al., Lect. Notes Comput. Sci. 5942, 263--268 (2010; Zbl 1274.68691) Full Text: DOI
Zhou, Zhen-Jiang; Fu, Jing-Zhi; Li, Zhi-Bin An implementation for the algorithm of Hirota bilinear form of PDE in the Maple system. (English) Zbl 1110.65098 Appl. Math. Comput. 183, No. 2, 872-877 (2006). MSC: 65M70 35Q51 68W30 PDFBibTeX XMLCite \textit{Z.-J. Zhou} et al., Appl. Math. Comput. 183, No. 2, 872--877 (2006; Zbl 1110.65098) Full Text: DOI
Yao, Ruo-Xia; Li, Zhi-Bin CONSLAW: A Maple package to construct the conservation laws for nonlinear evolution equations. (English) Zbl 1090.65124 Appl. Math. Comput. 173, No. 1, 616-635 (2006). MSC: 65M70 65Y15 68W30 37K10 65P10 37M15 35L65 35Q53 PDFBibTeX XMLCite \textit{R.-X. Yao} and \textit{Z.-B. Li}, Appl. Math. Comput. 173, No. 1, 616--635 (2006; Zbl 1090.65124) Full Text: DOI
Yao, Ruoxia; Li, Zhibin CONSLAW: a Maple package to construct the conservation laws for nonlinear evolution equations. (English) Zbl 1108.35030 Wang, Dongming (ed.) et al., Differential equations with symbolic computation. Basel: Birkhäuser (ISBN 3-7643-7368-7/hbk). Trends in Mathematics, 307-325 (2005). Reviewer: Werner M. Seiler (Kassel) MSC: 35G25 35Q53 37K05 68W30 PDFBibTeX XMLCite \textit{R. Yao} and \textit{Z. Li}, in: Differential equations with symbolic computation. Basel: Birkhäuser. 307--325 (2005; Zbl 1108.35030)
Xu, Gui-qiong; Li, Zhi-bin PDEPtest: a package for the Painlevé test of nonlinear partial differential equations. (English) Zbl 1082.65591 Appl. Math. Comput. 169, No. 2, 1364-1379 (2005). MSC: 65P10 68W30 37K10 37M05 PDFBibTeX XMLCite \textit{G.-q. Xu} and \textit{Z.-b. Li}, Appl. Math. Comput. 169, No. 2, 1364--1379 (2005; Zbl 1082.65591) Full Text: DOI
Zhang, Shan-Qing; Zhang, Gui-Xu; Li, Zhi-Bin ICS: A package for computing involutive characteristic set of algebraic partial differential equation systems. (English) Zbl 1067.65154 Appl. Math. Comput. 160, No. 2, 551-577 (2005). MSC: 65Y15 35R10 58A15 35G20 68W30 PDFBibTeX XMLCite \textit{S.-Q. Zhang} et al., Appl. Math. Comput. 160, No. 2, 551--577 (2005; Zbl 1067.65154) Full Text: DOI
Yao, Ruo-Xia; Li, Zhi-Bin On new invariant solutions of generalized Fokker–Planck equation. (English) Zbl 1167.35394 Commun. Theor. Phys. 41, No. 5, 665-668 (2004). MSC: 35K55 82C31 35A30 PDFBibTeX XMLCite \textit{R.-X. Yao} and \textit{Z.-B. Li}, Commun. Theor. Phys. 41, No. 5, 665--668 (2004; Zbl 1167.35394) Full Text: DOI Link
Yao, Ruo-Xia; Xu, Gui-Qiong; Li, Zhi-Bin Conservation laws and soliton solutions for generalized seventh order KdV equation. (English) Zbl 1167.35490 Commun. Theor. Phys. 41, No. 4, 487-492 (2004). MSC: 35Q53 35Q51 37K10 PDFBibTeX XMLCite \textit{R.-X. Yao} et al., Commun. Theor. Phys. 41, No. 4, 487--492 (2004; Zbl 1167.35490) Full Text: DOI Link
Zhang, Shanqing; Li, Zhibin An implementation for the algorithm of Janet bases of linear differential ideals in the Maple system. (English) Zbl 1138.35300 Acta Math. Appl. Sin., Engl. Ser. 20, No. 4, 605-616 (2004). MSC: 35-04 13P99 35A30 68W30 PDFBibTeX XMLCite \textit{S. Zhang} and \textit{Z. Li}, Acta Math. Appl. Sin., Engl. Ser. 20, No. 4, 605--616 (2004; Zbl 1138.35300) Full Text: DOI
Yao, Ruo-Xia; Li, Zhi-Bin An algorithm of constructing the conservation laws of nonlinear evolution equations. (English) Zbl 1067.35096 Int. J. Mod. Phys. B 18, No. 17-19, 2633-2639 (2004). MSC: 35Q53 35-04 35L65 PDFBibTeX XMLCite \textit{R.-X. Yao} and \textit{Z.-B. Li}, Int. J. Mod. Phys. B 18, No. 17--19, 2633--2639 (2004; Zbl 1067.35096) Full Text: DOI
Li, De-Sheng; Luo, Cheng-Xin; Li, Zhi-Bin Homogenous balance method and new exact solutions to the \((3+1)\)-dimensional Jimbo-Miwa equation. (English) Zbl 1051.35062 Int. J. Pure Appl. Math. 13, No. 4, 467-475 (2004). MSC: 35Q51 35C05 35-04 35K40 37K10 PDFBibTeX XMLCite \textit{D.-S. Li} et al., Int. J. Pure Appl. Math. 13, No. 4, 467--475 (2004; Zbl 1051.35062)
Liu, Yinping; Li, Zhibin A Maple package based on Wu’s elimination method for finding exact solitary wave solutions and its application. (Chinese. English summary) Zbl 1080.68743 J. Syst. Sci. Math. Sci. 24, No. 1, 118-124 (2004). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{Y. Liu} and \textit{Z. Li}, J. Syst. Sci. Math. Sci. 24, No. 1, 118--124 (2004; Zbl 1080.68743)
Li, Zhi-Bin; Liu, Yin-Ping RATH: A Maple package for finding travelling solitary wave solutions to nonlinear evolution equations. (English) Zbl 1196.35008 Comput. Phys. Commun. 148, No. 2, 256-266 (2002). MSC: 35-04 35Q35 68W30 PDFBibTeX XMLCite \textit{Z.-B. Li} and \textit{Y.-P. Liu}, Comput. Phys. Commun. 148, No. 2, 256--266 (2002; Zbl 1196.35008) Full Text: DOI
Li, Zhi-Bin; Liu, Yin-Ping; Yao, Ruo-Xia An automated algebraic method for finding exact solutions to nonlinear evolution equations. (English) Zbl 1012.68235 Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 464-474 (2002). MSC: 68W30 PDFBibTeX XMLCite \textit{Z.-B. Li} et al., in: Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific. 464--474 (2002; Zbl 1012.68235)
Yao, Ruoxia; Li, Zhibin Exact analytical solutions to a set of coupled nonlinear differential equations using symbolic computation. (English) Zbl 1016.34002 Shirayanagi, Kiyoshi (ed.) et al., Computer mathematics. Proceedings of the 5th Asian symposium (ASCM 2001), Matsuyama, Japan, September 26-28, 2001. Singapore: World Scientific. Lect. Notes Ser. Comput. 9, 201-210 (2001). Reviewer: Werner M.Seiler (Mannheim) MSC: 34A05 68W30 34A34 PDFBibTeX XMLCite \textit{R. Yao} and \textit{Z. Li}, Lect. Notes Ser. Comput. 9, 201--210 (2001; Zbl 1016.34002)
Li, Zhibin Travelling wave solutions to the two-dimensional dissipative-dispersive nonlinear system with Maple. (English) Zbl 0981.65117 Gao, Xiao-Shan (ed.) et al., Computer mathematics. Proceedings of the 4th Asian symposium (ASCM 2000), Chiang Mai, Thailand, December 17-21, 2000. Singapore: World Scientific. Lect. Notes Ser. Comput. 8, 224-228 (2000). MSC: 65M70 37K10 65P10 35Q53 68W30 PDFBibTeX XMLCite \textit{Z. Li}, Lect. Notes Ser. Comput. 8, 224--228 (2000; Zbl 0981.65117)
Wang, Mingliang; Li, Zhibin; Zhou, Yubin Homogeneous balance principles and its applications. (Chinese. English summary) Zbl 0974.35104 J. Lanzhou Univ., Nat. Sci. 35, No. 3, 8-16 (1999). MSC: 35Q51 35C05 37K40 PDFBibTeX XMLCite \textit{M. Wang} et al., J. Lanzhou Univ., Nat. Sci. 35, No. 3, 8--16 (1999; Zbl 0974.35104)
Li, Zhibin; Zhang, Shanqing Exact solitary wave solutions for nonlinear wave equations using symbolic computation. (Chinese. English summary) Zbl 0893.65066 Acta Math. Sci. (Chin. Ed.) 17, No. 1, 81-89 (1997). Reviewer: M.-Y.Wu (Boulder) MSC: 65Z05 35L70 68W30 35K55 PDFBibTeX XMLCite \textit{Z. Li} and \textit{S. Zhang}, Acta Math. Sci. (Chin. Ed.) 17, No. 1, 81--89 (1997; Zbl 0893.65066)
Li, Zhibin; Shi, He Exact solutions for Belousov-Zhabotinskii reaction-diffusion system. (English) Zbl 0855.35065 Appl. Math., Ser. B (Engl. Ed.) 11, No. 1, 1-6 (1996). Reviewer: Z.Li (Lanzhou) MSC: 35K57 35C05 PDFBibTeX XMLCite \textit{Z. Li} and \textit{H. Shi}, Appl. Math., Ser. B (Engl. Ed.) 11, No. 1, 1--6 (1996; Zbl 0855.35065) Full Text: DOI
Li, Zhibin; Zhang, Shanqing An application of Wu’s method to a problem in partial differential equations. (Chinese. English summary) Zbl 0907.35116 J. Lanzhou Univ., Nat. Sci. 32, No. 3, 22-25 (1996). MSC: 35Q53 35C05 PDFBibTeX XMLCite \textit{Z. Li} and \textit{S. Zhang}, J. Lanzhou Univ., Nat. Sci. 32, No. 3, 22--25 (1996; Zbl 0907.35116)
Zhou, Yubin; Li, Zhibin Soliton-type solutions of the generalized Boussinesq equation. (Chinese. English summary) Zbl 0905.35072 J. Lanzhou Univ., Nat. Sci. 32, No. 4, 24-27 (1996). MSC: 35Q35 35Q51 PDFBibTeX XMLCite \textit{Y. Zhou} and \textit{Z. Li}, J. Lanzhou Univ., Nat. Sci. 32, No. 4, 24--27 (1996; Zbl 0905.35072)