最近更新┆推荐软件┆热门软件 兵器玩家┆设为首页┆加入收藏┆登录┆注册
　　　　　　　　　　　　　






您当前位置：兵器玩家 → 软件下载 → 科技软件 → KeYmaera下载

KeYmaera

论坛转帖 　　　 用户评论

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 科技软件
授权方式：共享版
软件大小：4.00 KB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　
更新时间：2013-10-12 21:44:00
下载统计：

  • 好的评价　如果您觉得好，就请您
      100%(25)
  • 差的评价　如果您觉得差，就请您
      0%(0)

KeYmaera下载地址

KeYmaera下载

KeYmaera软件简介

最新发布的相关软件：
  • KeYmaera
  • KeyManager 1.7生成287_KeyManager 1.7 Build 287
  • KeyMagic 1.5.1.0
  • KeyMaestro 2.0.1
  • Keymouse
  • KeyMan 1.69仙_KeyMan 1.69-aW
  • KeyMux 1.0.0 Beta版_KeyMux 1.0.0 Beta
  • KeyMusic 1.02生成008_KeyMusic 1.02 Build 008


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

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

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


    最新发布的相关软件：
  • KeYmaera
  • KeyManager 1.7生成287_KeyManager 1.7 Build 287
  • KeyMagic 1.5.1.0
  • KeyMaestro 2.0.1
  • Keymouse
  • KeyMan 1.69仙_KeyMan 1.69-aW
  • KeyMux 1.0.0 Beta版_KeyMux 1.0.0 Beta
  • KeyMusic 1.02生成008_KeyMusic 1.02 Build 008

    • 上一个软件：TARQUIN 4.3.2

    下一个软件：ZCad 0.9.8修订719阿尔法_ZCad 0.9.8 Revision 719 Alpha

    KeYmaera下载地址

    KeYmaera下载
    广告赞助

    随便看看

    网友评论

    共有 0 位网友发表了评论，得分 0 分，平均 0 分    查看完整评论

    栏目导航
    相关软件下载