最近更新
┆
推荐软件
┆
热门软件
兵器玩家
┆
设为首页
┆
加入收藏
┆
登录
┆
注册
首页 — 兵器玩家
首页
杀毒软件
创作软件
DVD软件
压缩软件
桌面增强
文件管理
联网软件
IPOD软件
安卓
图像媒体
网络
办公OFFICE
编程软件
科技软件
网络安全
系统软件
UNIX
界面
其它软件
综合营销
淘宝软件
神器软件
博客软件
论坛软件
微信软件
邮件软件
模版源码
网赚
QQ软件
引流脚本
定制脚本
用户登录
当前位置:
兵器玩家
→
科技软件
→ 一键转帖:
KeYmaera
点击复制内容
软件名称:[B]KeYmaera[/B]
软件类型:国产软件
运行环境:Win9X/Win2000/WinXP/Win2003/
软件语言:简体中文
授权方式:共享版
软件大小:4.00 KB
官方主页:Home Page
更新时间:2013-10-12 21:44:00
软件简介:
一个强大的验证
工具
,设计用于混合动力系统,其中包括演绎,实代数,
计算机
代数技术
KeYmaera允许多个
应用程序
使用的技术结合起来,为了证明定理和逻辑验证。它是一个自动化的的证明器系统,支持混合动力系统和多输入类型。
该程序可以处理差分方程,不等式和非确定性离散或连续输入系统。
要求:
JAVA
数学或其他兼容的
神器出山:www.shenqi73.com
求解器
[url=http://www.sot9.com/soft/235980.html][B]KeYmaera[/B][/url]
点这里下载->KeYmaera [ 下载地址 ]
广告合作
-
下载声明
-
免责声明
-
友情连接
-
网站地图
-
返回顶部
-
Copyright © 2020-2023
www.
SOT9
.com
. All Rights Reserved .
合作联系:
QQ: 3217490875