• C-XSC公司

  • 参考109篇文章[sw00181]
  • 的编程环境已证实的科学的计算以及数值数据处理。C-XSC是一种工具。。。提供高精度和自动化的数值算法已证实的结果。它提供了大量。。。套餐适用于所有人计算机用一个C++编译器翻译AT&T语言。。。
  • 皮诺曹

  • 在34篇文章中引用[sw10193]
  • 皮诺曹:几乎实用可验证的 计算. 增强信心计算外包到云。。。匹诺曹,一个有效的验证一般的计算虽然只依赖于密码假设。。。只有288个字节,不管计算或者输入的大小。。。在实现可验证的 计算协议。。。
  • 国际实验室

  • 引用435篇文章[sw04004]
  • 非常快)自动微分(正向模式,矢量化计算,快速)梯度(解决非线性系统。。。坡度(顺序法,多变量缓慢)已证实的(简单)单变量函数的积分。。。
  • 椭球工具箱

  • 引用了35篇文章[sw10826]
  • 有干扰的系统。它可以已证实的如果计算的到达集与给定的椭球相交。。。
  • 高超声速

  • 引用327篇文章[sw04125]
  • 嵌入式系统分析。高超声速计算线性混杂系统满足的条件。。。连续组件和时间需求是已证实的通过符号模型检查。如果验证失败。。。
  • 维索夫特

  • 引用24篇文章[sw10881]
  • 验证文件的收集计算 已证实的各种数值线性代数问题的解。。。
  • 帕林尼斯

  • 引用19篇文章[sw06461]
  • 补充了库C++工具箱。帕林尼斯计算 已证实的参数解集的封闭。。。
  • hikmot公司

  • 在10篇文章中引用[sw34524]
  • 可用于已证实的 计算对于双曲3流形。这是基于。。。以下文件中的步骤:已证实的 计算对于双曲3流形。对于一个给定的尖。。。允许完整的双曲结构已证实的 计算机计算。我们方法的核心。。。
  • 盖比特

  • 引用8篇文章[sw31791]
  • 格培多:多才多艺可验证的 计算. 计算引发了对可验证的 计算协议,允许。。。计算对远方的人。最近的工作大大降低了客户的成本验证... 降低了共享状态的成本计算(例如,对于MapReduce)或在单个。。。计算最多两个数量级。通过精心选择密码原语。。。
  • 舒适的

  • 引用92篇文章[sw07711]
  • 现代科学的各种先进概念计算. COSY目前有2000多个注册用户。。。经过广泛的交叉检查和已证实的. 舒适系统由以下部分组成。。。
  • intpakX公司

  • 参考11篇文章[sw00445]
  • 复圆盘算法。作为应用程序,已证实的 计算零点(区间牛顿法)的可能性。。。
  • 区间算术

  • 在10篇文章中引用[sw04681]
  • 区间算法在自动已证实的 计算,也就是说,在计算在哪儿。。。
  • 地籍

  • 引用了83篇文章[sw00097]
  • 很适合日常生活计算广义相对论所要求的。在这里,我们呈现。。。展示如何使用Cadabra,包括验证Levi-Civita的联系。。。
  • VSDP

  • 参考12篇文章[sw04003]
  • 计算属于已证实的圆锥规划的结果。当前。。。的函数计算真最优值的严格误差界,已证实的附件。。。
  • 千伏

  • 参考6篇文章[sw31712]
  • 图书馆已证实的数字的计算. 一套图书馆已证实的数字的计算(kv库。。。这一页。关于已证实的数字的计算kv图书馆,请看幻灯片。。。
  • zk斯纳克

  • 参考11篇文章【sw22495】
  • 当通讯费用昂贵时,或验证者计算上虚弱。现有的zk SNARK实现有。。。所有中间值计算,然后进行全球业务,比如。。。证明制度本身的接受验证者(以及程序最新的正确性。。。在实践中,由于计算的成本。使用新的椭圆曲线密码技术。。。
  • Cadence SMV公司

  • 27条引用[sw07795]
  • 正式地验证有限状态系统的时序逻辑特性,如计算机硬件设计。那个。。。向量或模拟测试台,你验证你设计的所有可能的输入序列。。。
  • 团结

  • 引用185篇[sw13461]
  • 统一分析。我们评估统一性计算的模型、说明语言和证明系统定义。。。方法论提供了一种独立验证过渡系统的正确性。。。