• 枫木

  • 引用5040篇文章[sw00545]
  • 数学类型。Maple的直观界面支持多种风格的互动,从可点击的数学。。。
  • 岩浆

  • 引用2857篇文章[sw00540]
  • 系统(CAS)。岩浆是一个很大的井-支持为代数计算设计的软件包。。。设计、规范和许多其他。岩浆也支持设计了许多数据库。。。
  • UCI毫升

  • 在3041篇文章中引用[sw04074]
  • 马萨诸塞大学阿默斯特分校。基金支持感谢国家科学基金会。很多。。。
  • 麦考拉2

  • 引用1658篇文章[sw00537]
  • Macaulay2是一个致力于支持的代数几何与交换代数研究。。。使用强大的调试器解释用户语言支持的数学新课程的创建。。。
  • 圣哲

  • 在1620篇文章中引用[sw00825]
  • 免费的、开源的数学软件支持研究和教学代数,几何,数论。。。
  • 蟒蛇

  • 引用1378篇文章[sw14460号]
  • 无论是小规模还是大规模。蟒蛇支持多种编程范例,包括面向对象的,命令式的。。。
  • fda(R)

  • 引用1317篇文章[sw04511]
  • 数据分析,这些功能是为了支持功能数据分析如拉姆齐所述。。。
  • 雅尔米普

  • 引用913篇文章[sw04595]
  • 问题分类和自动求解器选择支持众多的外部解决方案,包括免费的和商业的。。。解算器支持YALMIP目前有CDD、CSDP、CPLEX、DSDP、GLPK、KYPD、LINPROG、LMILAB、MAXDET。。。
  • LIBSVM库

  • 在1088篇文章中引用[sw04879]
  • LIBSVM是一个支持向量机(SVM)。我们一直在积极发展这个。。。
  • 莫德

  • 引用660篇[sw06233]
  • 高性能反射式语言与系统支持的等式和重写逻辑规范和编程。。。作为一种等式逻辑子语言。此外支持的方程规范与编程支持...
  • 引导

  • 在1043篇文章中引用【sw19105】
  • 已经基于它的项目支持这本书的。新项目应优先。。。
  • CVX公司

  • 引用692篇文章[sw04594]
  • 求解约束凸规划(DCPs)。CVX公司支持一些标准的问题类型,包括线性。。。
  • FFTW公司

  • 引用481篇文章[sw04126]
  • 从我们的下载页面。引入3.3版支持对于AVX86扩展,一个分布式的。。。Fortran 2003 API。引入版本3.3.1支持对于臂霓虹灯扩展。。。
  • PVS公司

  • 参考文献614篇[sw03484]
  • 也就是说,规范语言与支持工具和定理证明器。。。
  • 交易2

  • 引用549篇文章[sw03516]
  • 图形格式等。同样,支持同时包含多个空间维度。。。
  • 迪马奇

  • 参考515篇文章[sw08221]
  • 研究机构和基金会支持你的故事对做。。。
  • z3型

  • 引用496篇文章[sw04887]
  • 在Microsoft Research.Z3开发的定理证明程序支持线性实数和整数运算,固定大小。。。
  • 棱镜

  • 引用406篇文章[sw01186]
  • 概率系统分析。棱镜支持三种概率模型:离散时间马尔可夫链,马尔可夫决策。。。
  • 线性代数库

  • 在404篇文章中引用[sw00830]
  • 通过MIMD计算机和工作站网络支持的并行虚拟机(PVM)和/或消息传递。。。