位置：成果数据库 > 会议 > 会议详情页
Program verification through computer algebra
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：大会邀请报告，ICFEM 2006, Lecture Notes in Computer Science 4260
  • 成果类型：会议
  • 相关项目：实代数符号计算在形式化方法中的应用
同会议论文项目
实代数符号计算在形式化方法中的应用
期刊论文 15 会议论文 4 著作 2
同项目会议论文
Discovering Non-Linear Ranking Functions by Solving Semi-Algebraic Systems
A Semi-algebraic Approach for the Computation of Lyapunov Functions
DISCOVERER: A tool for solving semi-algebraic systems