软件名称：[B]KeYmaera[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：4.00 KB
官方主页：Home Page
更新时间：2013-10-12 21:44:00
软件简介:

一个强大的验证工具，设计用于混合动力系统，其中包括演绎，实代数，计算机代数技术

KeYmaera允许多个应用程序使用的技术结合起来，为了证明定理和逻辑验证。它是一个自动化的的证明器系统，支持混合动力系统和多输入类型。

该程序可以处理差分方程，不等式和非确定性离散或连续输入系统。