• 数学软件

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

• 离散马尔可夫随机场

• 1763篇参考文献[SW04968 ]
• 伙伴网站，两个计划完成2003。超过50位数学家，物理学家…

• 阿巴奎斯

• 1327篇参考文献[SW04215]
• 统一的FEA产品套件提供强大的完成常规和复杂工程的解决方案…

• 巴耶斯达

• 927篇参考文献[SW11008]
• Rubin。并不是所有的数据集都有希望完成很快…

• 角质光滑

• 840篇参考文献[ SW045 86]
• 做出一些牺牲。它不完全地涵盖了大量的研究…

• 糠

• 557篇参考文献[SW06916]
• 无论是研究还是产业。大多数现有完成求解器是Davis Putnam的变体…描述一个新的发展完成求解器，箔条，通过…

• 凯利

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

• 库特

• 540篇参考文献[SW04010]
• 提供。查看接口部分完成列表

• 毫升

• 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：完成找到了。如果公式无效，因为…