• 数学软件

  • 5559篇参考文献[SW05354]
  • 只有开发平台充分整合计算完成工作流程,从最初的想法无缝地移动你…
  • 阿巴奎斯

  • 1327篇参考文献[SW04215]
  • 统一的FEA产品套件提供强大的完成常规和复杂工程的解决方案…
  • 557篇参考文献[SW06916]
  • 无论是研究还是产业。大多数现有完成求解器是Davis Putnam的变体…描述一个新的发展完成求解器,箔条,通过…
  • 凯利

  • 577篇参考文献[SW0824]
  • 清晰度和简洁度而不是完成一般性和限制我们的范围,算法…
  • 毫升

  • 491篇参考文献[SW01218]
  • 待语言完全地使用形式语义指定和验证。它的类型和模式匹配…
  • 开泡剂

  • 333篇参考文献[SW04317]
  • 处置。通过开放,OpenFox提供用户完成自由定制和扩展其现有的…
  • 水獭

  • 312篇参考文献[SW02904]
  • 术语重写,术语排序,Knuth Bendix完成权重,以及指导和限制搜索的策略…
  • 斯塔达

  • 301篇参考文献[SW06029 ]
  • StATA是完成集成的统计软件包,提供数据分析所需的一切…
  • 术语

  • 271篇参考文献[SW0942]
  • 更容易和更有效。LINGO提供了完全地集成包,包括强大的语言…
  • 帕迪索

  • 234篇参考文献[SW0699]
  • 正定的或不定的,厄米的路带完成枢轴转动。在SMPS和集群上并行…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 阅读手册(其中包含一些)完成例子)和玩系统。这个学生…不离开程序。记录完成运动是由ETPS维持的…
  • 移相

  • 148篇参考文献[ SW31783]
  • 基于矩阵的相位恢复完成. 本文提出了一种新的相位恢复框架。受近年来关于矩阵的文献的启发完成. 更重要的是,我们还证明…
  • 麦克莱斯

  • 196篇参考文献[SW02076]
  • 未知线性二进制码是NP—完成问题。实施后量子的兴趣…
  • GSLB

  • 195篇参考文献[SW08244]
  • 1990—1992期间。第二版是完成1997。两个版本都出版了…
  • SLIC

  • 134篇参考文献[SW1822]
  • 混合流体单元的近似完全地通过测试是否确定…正在考虑的方向。(4)由于完全地SLIC界面的一维性质…
  • 斯帕斯

  • 173篇参考文献[SW04108]
  • 公式是有效的,SPASS beiseite:完成找到了。如果公式无效,因为…