位置：成果数据库 > 会议 > 会议详情页
Proving Total Correctness of Loop Programs via Symbolic-Numeric Computation Method
  • 所属机构名称：华东师范大学
  • 会议名称：Fourth International Conference on Mathematical Aspects of Computer and Information Sciences
  • 成果类型：会议
  • 相关项目：线性微分-差分系统求解及分解的机械化算法研究
作者： Zhengfeng Yang|Wang Lin|Min Wu|Zhenbing Zeng|
同会议论文项目
线性微分-差分系统求解及分解的机械化算法研究
期刊论文 3 会议论文 6
同项目会议论文
Simplification of Numerical Rational Surfaces
Finding positively invariant sets of a class of nonlinear loops via curve fitting
基于符号数值混合计算的混成系统Lyapunov函数构造
Generating Invariants of Hybrid Systems via Sums-Of-Squares of Polynomials with Rational Coefficient
On the structure of compatible rational functions