多项式循环程序的终止性研究及其应用

61572024
2015
F0214.新型计算及其应用基础
李轶
面上项目
副研究员
中国科学院重庆绿色智能技术研究院
48万元
半代数系统;嵌入式系统;程序终止性分析与验证;计算机代数;符号数值混合计算
2016-01-01到2019-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 The L-depth Eventual Linear Ranking Functions for Single-path Linear Constraint Loops 会议论文 Yi Li;Guang Zhu;Yong Feng
2 A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 会议论文 陈长波;吴文渊
3 The PSLQ algorithm for empirical data 期刊论文 冯勇;陈经纬;吴文渊
4 Witness to non-termination of linear programs 期刊论文 李轶
5 基于Dixon结式和逐次差分代换的多项式秩函数探测方法 期刊论文 袁月;李轶
6 一类有界闭连通域上的循环程序终止性判断方法 专利 李轶;朱广;杨文强;吴文渊;冯勇
7 基于k阶秩函数的线性赋值循环程序的终止性分析 期刊论文 李轶;蔡天训;吴文渊
8 Termination of semi-algebraic loop programs 会议论文 YI Li
9 a numerical method for computing border curves of bi-parametric real polynomial systems and application 会议论文 陈长波;吴文渊
10 Termination of Single-Path Polynomial Loop Programs 会议论文 Yi Li
11 基于svm的多项式循环程序秩函数生成 期刊论文 李轶;蔡天训;樊建峰;吴文渊;冯勇
12 有界闭连通域上的非线性循环终止性分析 期刊论文 李轶;冯勇
13 A sufficient criterion for termination of multi-paht linear assignment loops 会议论文 Yi Li;Tianxun Cai;yong Feng
14 full rank representation of real algebaic sets and applications 会议论文 陈长波;吴文渊;冯勇
15 Detectingmultiphase linear ranking functions for single-path linear-constraint loops 期刊论文 袁月;李轶;石文昌
16 Eventual Linear Ranking Functions for Multi-path Linear Loops 会议论文 Guang Zhu;Yi Li;Wenyuan Wu
17 Ranking Function Detection via SVM: A More General Method 期刊论文 袁月;李轶
18 Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems 会议论文 吴文渊;陈长波
19 Synthesizing Nested Ranking Functions for loop program via SVM 会议论文 李轶;孙学超;李勇;Andrea Turrini;张立军
20 On ranking functions for single-path linear-constraint loops 期刊论文 李轶;吴文渊;冯勇
21 多项式循环程序的秩函数探测 期刊论文 李轶;冯勇
22 计算最终线性秩函数的新方法 期刊论文 朱广;李轶;吴文渊
23 Parameterized inequalities about a point in the plane of a triangle 期刊论文 黄方剑;李轶
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享