QQ客服 官方微博 反馈留言

浏览/检索结果: 共11条，第1-10条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序提交时间升序提交时间降序题名升序题名降序作者升序作者降序 Early ending in homotopy path-tracking for real roots 会议论文 Suzhou, China, September 16, 2018 - September 19, 2018 作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican 收藏  |  浏览/下载：13/0  |  提交时间：2019/06/25 A Special Homotopy Continuation Method for a Class of Polynomial Systems 会议论文 Beijing, China, September 18, 2017 - September 22, 2017 作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican 收藏  |  浏览/下载：9/0  |  提交时间：2018/03/16 Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 会议论文 作者:  Gan, Ting;  Dai, Liyun;  Xia, Bican;  Zhan, Naijun;  Kapur, Deepak 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05 symbolic decision procedure for termination of linear programs 会议论文 symbolic decision procedure for termination of linear programs, 北京, 2011 Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai 收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10 Computer science  Manganese compounds   generating polynomial invariants with discoverer and qepcad 会议论文 Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun 收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29 program verification  invariant generation  polynomial programs  semi-algebraic systems  quantifier elimination  DISCOVERER  QEPCAD   discovering non-linear ranking functions by solving semi-algebraic systems 会议论文 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun; Zhou Chaochen 收藏  |  浏览/下载：11/0  |  提交时间：2011/06/29 Algebra  Calculations  Difference equations  Polynomial approximation   Quantifier elimination for quartics (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Beijing, China, September 20, 2006 - September 22, 2006 作者:  Yang, Lu[1];  Xia, Bican[2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Computer programming  Polynomials  Problem solving   Generating polynomial invariants with DISCOVERER and QEPCAD (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, China, September 24, 2007 - September 27, 2007 作者:  Chen, Yinghua[1];  Xia, Bican[1];  Yang, Lu[2];  Zhan, Naijun[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/17 Algorithms  Computational complexity  Computer programming  Problem solving   Generating non-linear interpolants by semidefinite programming (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Saint Petersburg, Russia, July 13, 2013 - July 19, 2013 作者:  Dai, Liyun[1,3];  Xia, Bican[1];  Zhan, Naijun[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Computer aided analysis  Interpolation  Model checking   Non-termination sets of simple linear loops (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bangalore, India, September 24, 2012 - September 27, 2012 作者:  Dai, Liyun[1];  Xia, Bican[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/15 Artificial intelligence