Han, Jingjun; Jin, Zhi; Xia, Bican Proving inequalities and solving global optimization problems via simplified CAD projection. (English) Zbl 1337.90052 J. Symb. Comput. 72, 206-230 (2016). MSC: 90C26 65D17 68W30 PDFBibTeX XMLCite \textit{J. Han} et al., J. Symb. Comput. 72, 206--230 (2016; Zbl 1337.90052) Full Text: DOI arXiv
Hong, Hoon; Tang, Xiaoxian; Xia, Bican Special algorithm for stability analysis of multistable biological regulatory systems. (English) Zbl 1328.92028 J. Symb. Comput. 70, 112-135 (2015). MSC: 92C42 34D20 68W30 PDFBibTeX XMLCite \textit{H. Hong} et al., J. Symb. Comput. 70, 112--135 (2015; Zbl 1328.92028) Full Text: DOI arXiv
Guan, Qiang; Wang, Long; Xia, Bican; Yang, Lu; Yu, Wensheng; Zeng, Zhenbing Solution to the generalized champagne problem on simultaneous stabilization of linear systems. (English) Zbl 1124.93030 Sci. China, Ser. F. 50, No. 5, 719-731 (2007). MSC: 93C05 93D15 PDFBibTeX XMLCite \textit{Q. Guan} et al., Sci. China, Ser. F 50, No. 5, 719--731 (2007; Zbl 1124.93030) Full Text: DOI arXiv
Yang, Lu; Hou, Xiaorong; Xia, Bican A complete algorithm for automated discovering of a class of inequality-type theorems. (English) Zbl 1125.68406 Sci. China, Ser. F. 44, No. 1, 33-49 (2001). MSC: 68T15 03B35 03C10 PDFBibTeX XMLCite \textit{L. Yang} et al., Sci. China, Ser. F 44, No. 1, 33--49 (2001; Zbl 1125.68406) Full Text: DOI