• LMFDB

  • 52篇参考文献[SW07249]
  • LMFDB,L-函数数据库,模块化 形式以及相关的对象。这些网页的目的是…L函数的例子来自模块化 形式椭圆曲线、数域和狄利克雷字符…
  • 斯威格

  • 40篇参考文献[SW04607]
  • 解释问题解决环境及其形式模块化编写控制软件组件的框架…
  • 转移

  • 19篇参考文献[SW21009]
  • 转移:A模块化伊莎贝尔/HOL中商的设计商、子类型等形式类型的…许多技术限制。我们提出了一种改进的,模块化设计围绕两个新的包…
  • 举起

  • 19篇参考文献[SW21010]
  • 转移:A模块化伊莎贝尔/HOL中商的设计商、子类型等形式类型的…许多技术限制。我们提出了一种改进的,模块化设计围绕两个新的包…
  • 邮票

  • 39篇参考文献[ SW09536]
  • 易用的形式这使得用户能够专注于模型选择和解释…综合度量学的一部分模块化具有良好数据处理功能的数据分析软件系统
  • 镀锡电池

  • 4篇参考文献[SW20852]
  • TinkerCell:模块化合成生物学的CAD工具。合成生物学汇集了概念和技术。相互连接,成形更大的模块化网络因为TunkCyter关联了参数和方程…
  • 绷带

  • 1篇参考文献[SW23 332 ]
  • 实施一模块化 形式. 我们提出了一个任意傅立叶展开的模型。模块化 形式实现任意傅立叶展开模块化 形式. 框架允许我们关注…
  • 权力形态

  • 4篇参考文献[SW01540]
  • 形式本身,允许模块化发展何处形式也许是自动产生的…
  • 计算机计算

  • 1篇参考文献[ SW28084]
  • 西格尔的重要应用模块化 形式算术几何。我们介绍了Mathematica包CuthTeGK…与经典有关的算术相交数模块化多项式的显式公式
  • HECK1

  • 1篇参考文献[SW1876]
  • 特征P卡茨的Hecke algebras模块化 形式
  • 双肩背包

  • 1篇参考文献[ SW22068 ]
  • 哈斯克尔只允许一个弱者形式属于模块性其中模块实现直接依赖于…另一方面,允许更强形式属于模块性其中显式接口表示关于…的假设。
  • 格林斯潘

  • 55篇参考文献[SW038 4]
  • 网及其有色扩展:随机井形成网。该工具提供了友好的框架…分布式计算环境中的机器。这个模块化GrimSPN2.0的结构使其开放…
  • CRMPACK

  • 1篇参考文献[SW15961]
  • 整个包装写在模块化 形式在S4级系统中,制作…
  • 特兰

  • 53篇参考文献[SW04029 ]
  • 任意矩阵向量乘法例程形式方便。大部分的算术计算…由于软件高度模块化比较容易采用不同的型式。
  • 埃迪姆

  • 8篇参考文献[SW0860]
  • 正常形式Havas、马耶夫斯基、马休斯、斯特林描述的算法(使用LLL)模块化技法
  • 女飞人

  • 18篇参考文献[SW0265]
  • 女性是模块化求解三维问题的有限元类库基于微分的现代几何方法形式(或)形式并且可以使用…
  • 动态左心室成形术

  • 1篇参考文献[SW22105]
  • 快速中间语言,DLVM IR更模块化比现有的深度学习更通用。DLVM系统使形式属于模块化安全和性能框架深…
  • QWORE

  • 4篇参考文献[SW20268]
  • 正常形式. 此外,语言是高度的。模块化因为它可以嵌入…
  • 臀部

  • 20篇参考文献[SW0988]
  • 简单命令语言,能够模块化的验证堆操作程序的规范。规格…分离逻辑证明义务形式公式的含义,发送…