• QETLAB

  • 50篇参考文献[SW2093]
  • MATLAB工具箱探索量子纠缠理论. 虽然有许多量子信息理论工具箱
  • HIPSPEC

  • 12篇参考文献[SW0736]
  • 使用自动感应证明理论 探索HIPSPEC是一个自动导出和证明系统。采用一种新的方法,结合理论 探索反例检验和归纳定理证明。HIPSPEC自动…加法作为背景理论用于证明附加的用户声明属性。实验结果…其他归纳定理证明器理论 探索系统
  • 赶时髦的人

  • 7篇参考文献[SW11223 ]
  • 嬉皮士:整合理论 探索在证明助手中。本文介绍了一个系统集成…理论 探索与证明助理伊莎贝尔/霍尔。理论 探索是一种自动发现…的技术。
  • 能源

  • 55篇参考文献[SW08072]
  • 推论。理论并对能量统计的应用进行了讨论和说明。最后,我们探索
  • 博弈论探索者

  • 2篇参考文献[SW12784]
  • 游戏理论 探险者应用游戏理论家的软件。本文介绍了“游戏”。理论
  • 逆合成孔径雷达

  • 137篇参考文献[SW04999 ]
  • 构造函数或不正确的辅助命令(用于诊断)探索等等)。证明文本包括适当的文件…集成到伊莎贝尔/纯元逻辑实现中。理论定理、证明程序等可用于…
  • 阿列夫

  • 42篇参考文献[SW12108]
  • RAEDT(1994),归纳逻辑程序设计:理论和方法,JNL。逻辑编程…打算成为一个原型探索想法更早的化身(名为P-普罗戈)
  • 霍特

  • 11篇参考文献[SW15147]
  • Coq图书馆探索单叶基与同伦型理论另一个是UNIMATH…
  • RSES

  • 20篇参考文献[SW22252]
  • 用户指南。RSES 2.2 -粗糙集探索系统2.2是一个软件工具,…特别是基于粗糙集的理论
  • 利本

  • 33篇参考文献[SW14520]
  • 从中得到的数值解理论. 这本书也涵盖了应用…哈密顿偏微分方程(PDE)与探索能量守恒方法的扩展。与许多…
  • 量子的

  • 2篇参考文献[SW10107]
  • 探索量子理论用图形重写和计算机代数。它可能是有用的…量子技术,允许自动化和半自动化探索图重写系统及其底层…图重写以扩展理论
  • 乌克利特

  • 25篇参考文献[SW04667]
  • 独立决策程序理论未解释的函数和等式,整数线性算法…量化的形式。UCLED的应用探索迄今为止,包括微处理器设计验证,分析…
  • LMFDB

  • 90篇参考文献[SW07249]
  • 来源L函数在数字中无处不在。理论并应用于数学物理…数据作为进一步提示的手段探索和发现。我们相信创造…
  • TGVIEW3D

  • 1篇参考文献[SW32443]
  • 图查看器OP定时探索 理论图。利用这三个空间概念。
  • 校对表

  • 3篇参考文献[SW28 64]
  • 小猜想理论. 在这项工作中,我们探索使用监视表…
  • 蒂特里尔

  • 8篇参考文献[SW08501]
  • 许多的探索性的调查:游戏,(BI)模拟,拓扑,定性模糊考虑,理论提取、社会选择、决策…
  • DDLAB

  • 4篇参考文献[ SW0788]
  • 使用交互式图形,DDLAB能够探索巨大的多样性行为,主要是Terra…神经和遗传网络,人工生命,和理论记忆…
  • 组资源管理器

  • 7篇参考文献[SW07153]
  • 群组探险者抽象代数的数学可视化软件教室。帮助用户可视化…群组理论建立学生的直觉,并使实验组。
  • 阿贝德

  • 5篇参考文献[SW31 186]
  • 使用例子,我们探索模拟可以补充的方法理论增进我们的了解…
  • 分步探索器

  • 9篇参考文献[SW24413]
  • 分步-探险者. 伴随着一维量子走光的体边缘对应关系…概述A理论一维量子走动的对称保护拓扑相位。我们假设…