|国家科技期刊平台
| 注册
首页|期刊导航|四川大学学报（工程科学版）|多区间上非线性程序的终止性判定

多区间上非线性程序的终止性判定

牟琳 李轶 李玲娜 刘栋

四川大学学报（工程科学版）2011，Vol.43Issue(3)：76-80,5.
✕
四川大学学报（工程科学版）2011，Vol.43Issue(3)：76-80,5.

多区间上非线性程序的终止性判定

Termination of Non-linear Programs over the Set of Intervals

牟琳 1李轶 2李玲娜 1刘栋1

作者信息

  • 1. 中国科学院成都计算机应用研究所,四川成都610041
  • 2. 电子科技大学计算科学与工程学院,四川成都610054
  • 折叠

摘要

关键词

程序验证/计算机代数/非线性程序/不动点

分类

信息技术与安全科学

引用本文复制引用

牟琳,李轶,李玲娜,刘栋..多区间上非线性程序的终止性判定[J].四川大学学报（工程科学版）,2011,43(3):76-80,5.

基金项目

国家重点基础研究发展计划资助项目(2004CB318003) （2004CB318003）

四川大学学报（工程科学版）

OA北大核心CSCDCSTPCD

2096-3246

访问量4
|
下载量0
段落导航相关论文