中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-3 of 3)

Items/Page:    Sort:
Symbolic termination analysis of solvable loops [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin

 
Some decidable results on reachability of solvable systems [期刊论文]
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin

 
a heuristic approach to positive root isolation for multiple power sums [期刊论文]
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010-01-01, 卷号: 16, 期号: 14, 页码: 1912-1926
Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace