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