位置：成果数据库 > 会议 > 会议详情页
Simplification of Numerical Rational Surfaces
  • 所属机构名称：华东师范大学
  • 会议名称：The 2009 International Conference on Computational Sciences and Optimization
  • 成果类型：会议
  • 相关项目：线性微分-差分系统求解及分解的机械化算法研究
作者： Zhengfeng Yang|Min Wu|Liyong Shen|
同会议论文项目
线性微分-差分系统求解及分解的机械化算法研究
期刊论文 3 会议论文 6
同项目会议论文
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
Proving Total Correctness of Loop Programs via Symbolic-Numeric Computation Method
On the structure of compatible rational functions