位置：成果数据库 > 期刊 > 期刊详情页
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums
  • ISSN号：0948-695X
  • 期刊名称：Journal of Universal Computer Science
  • 时间：2010
  • 页码：1912-1926
  • 相关项目：混杂系统中若干符号计算问题的应用研究
作者： Ming Xu|Chuandong Mu|Zhenbing Zeng|Zhi-Bin Li|
同期刊论文项目
混杂系统中若干符号计算问题的应用研究
期刊论文 9
同项目期刊论文
Symbolic Termination Analysis of Solvable Loops
An Upper Bound of Heilbronn Number for Eight Points in Triangles
Some Decidable Results on Reachability of Solvable Systems
Model Checking Conditional CSL for Continuous-Time Markov Chains
Stability Analysis of An Epidemic Model with Diffusion and Stochastic Perturbation
一类考虑收获的Monod-Haldane型捕食系统的动力学行为（英文）
一类随机时滞捕食者-食饵模型的动力学行为（英文）
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS