• 灰姑娘

  • 在144篇文章中引用[sw00127]
  • 交互式几何软件。除了支持动态几何,灰姑娘。2有许多功能,拓宽。。。各种各样的程序相互作用情节。与旧版本相比。。。他们补充说:辛迪拉布,一个做的环境交互式物理实验和CindyScript,高级。。。允许快速、灵活和自由编程相互作用情节。虽然这三个部分中的每一个。。。
  • 阿格达

  • 引用182篇文章[sw09689]
  • 模块、mixfix运算符、Unicode字符和交互式Emacs接口(类型检查器可以帮助。。。同时也是校对助理:它是交互式校样书写和校对制度。阿格达。。。
  • 小桶

  • 在252篇文章中引用[sw13866]
  • 分子接线图知识相互作用反应和关系网络(系统信息)。还有。。。
  • 艾尔帕克

  • 引用131篇文章[sw01208]
  • 交互式艾尔帕克:安交互式椭圆偏微分方程求解环境。。。此过程最适合于交互式环境,ELLPACK本身是面向批处理的。带着。。。我们已经发展了交互式ELLPACK是ELLPACK的扩展,它提供了真实的。。。交互式通过允许用户交互地建立网格,选择解决方法。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302]
  • 只包含与证明定理相关的命令交互地. TPS和ETP在公共Lisp中运行。。。一阶逻辑定理交互地,自动的,或者混合这些。。。模式(标志设置组)。这个交互式TPS构造自然演绎证明的设施。。。
  • Matplotlib库

  • 引用243篇文章[sw06590]
  • 各种硬拷贝格式和交互式跨平台的环境。matplotlib可以在python中使用。。。
  • Isar

  • 在140篇文章中引用[sw04599]
  • 支持两者的定理证明系统交互式证据开发和某种程度的自动化已经成为。。。最先进的证据交互式定理证明系统和适当的水平。。。广泛的自动证明方法。交互式证据开发也直接得到支持。。。通用的(X)Emacs接口,用于交互式证据助理,我们得出一个合理的。。。
  • 克里斯托费尔

  • 引用225篇文章[sw00833]
  • 脚本语言,利用高级函数,交互式环境、可视化工具和图形用户界面。。。
  • 几何画板

  • 引用224篇[sw04858]
  • 理解。Sketchpad是交互式白板。老师可以每天使用它。。。
  • SC工具箱

  • 在194篇文章中引用[sw04462]
  • 1994年首次发布,使交互式共形映射的创建和可视化。。。
  • Rcpp公司

  • 引用了190篇文章[sw08385]
  • 他们。属性旨在促进这两个方面交互式在R会话中使用C++。。。
  • 微光

  • 引用185篇[sw01126]
  • GLIM-用于交互式广义线性模型的拟合。。。
  • FEAP公司

  • 参考171篇文章[sw04963]
  • 具有关节的多刚体选项相互作用. 本构模型包括线性和有限弹性、粘弹性。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 乐高是一个交互式证明开发系统(证明助理)设计和实现的兰迪波拉克。。。乐高是一个强大的工具交互式自然演绎式的证明发展。。。强调消除交互式证明。例如,系统的功能。。。
  • 地堑

  • 参考文献103篇[sw15842]
  • 地堑:交互式使用迭代图切割提取前景。效率问题,交互式前景/背景分割。。。用于大大简化用户相互作用对于给定的结果质量是必需的。第三。。。
  • 格罗马克斯

  • 参考114篇[sw04128]
  • 有很多复杂的结合相互作用但是因为格罗马奇跑得很快。。。计算非键合相互作用(通常主导模拟)许多团体也在使用。。。
  • NTRU公司

  • 引用158篇文章[sw11761]
  • NTRU密码系统来自相互作用具有独立性的多项式混合系统。。。
  • 麦克白

  • 参考文献99篇[sw16199]
  • 涉及定性值得分和权重的问题;交互式灵敏度和稳健性分析。麦克白(衡量吸引力。。。基于范畴的评估技术)是一种交互式只需要对差异进行定性判断的方法。。。期权的吸引力。它使用了首字母,交互式,比较两个要素的提问程序。。。
  • 副视图

  • 在157篇文章中引用[sw06128]
  • 技术。可以做资料勘探交互地在三维或使用ParaView编程。。。