• 岩浆

  • 2602篇参考文献[SW0540]
  • 良好支撑软件代数、数论、代数计算软件包几何代数…
  • 麦考莱2

  • 1503篇参考文献[SW05337 ]
  • MaCulay2是软件支持代数研究的系统几何交换代数…
  • 萨格马特

  • 1436篇参考文献[SW0825]
  • 开源数学软件支持代数研究和教学,几何数论、密码术……
  • 贝蒂尼

  • 198篇参考文献[SW06363]
  • 贝蒂尼占地面积软件数值代数几何.软件用于求解多项式系统。发现孤立的解决方案使用…
  • 灰姑娘

  • 138篇参考文献[SW100127]
  • 互动几何 软件. 除了支持动态几何灰姑娘,2有许多特征可以拓宽…
  • 卡夫里几何学

  • 114篇参考文献[ SW049 28 ]
  • Cabri -几何是一个软件为了学习几何主要是在学校。现在Cabri软件数学家、教育专家和实习教师。Cabri -几何用于中学教学几何
  • 多制做

  • 275篇参考文献[SW0724]
  • 聚合制造是开源的软件多面体的研究几何. 它涉及多面体,多面体…
  • 地脑

  • 315篇参考文献[SW04203]
  • 平台动态数学软件对于所有加入的教育水平几何代数、表格、图表……旅行包它受过几次教育。软件在欧洲和美国的奖项。
  • 科索尔

  • 330篇参考文献[SW04091]
  • 模拟软件环境促进了建模过程中的所有步骤——定义您的几何啮合,指定…
  • 闪光灯

  • 572篇参考文献[SW04629 ]
  • 那些通常没有这样的几何(优化、电路仿真、经济和金融建模……其他网络和图表)。我们提供软件用于访问和管理集合,从MATLAB…
  • GEX

  • 32篇参考文献[SW09961]
  • 几何专家(GEX)是软件动态图形绘制与自动化几何定理。。。证明和发现。作为一个动态几何 软件热克斯可以用来建立动态的…软件我们可以建立动态逻辑模型来进行推理。1)几何专家几何节肢动物。2)利用动态可视化模型,建立了计算机模型。软件那个…
  • HOM4PS

  • 69篇参考文献[SW0410]
  • Michael E.(ED)等,软件代数的几何. 一份研讨会论文,明尼阿波利斯…
  • 光纤光栅

  • 227篇参考文献[SW0246]
  • 算法。其次,结合其他软件FGB库已用于各种…应用(机器人、信号理论、生物学、计算)几何,…)最近更广泛的…
  • 大地测量学

  • 23篇参考文献[SW06216]
  • 探索整合动态的几何知识几何 软件(DGS),自动定理证明器…支持学习和教学的系统几何通过互联网。GeththMS是一个公共可访问的…
  • 乌尔姆

  • 24篇参考文献[SW10400 ]
  • 复杂过程几何学. 我们开发了一个灵活的URDME。软件一般随机框架求解一般问题的三角形和四面体网格几何学并依赖于反应扩散主…与成熟的接口几何外部网格处理软件(COMSOL多物理)提供…计算效率。连接到几何处理软件通过MATLAB接口实现。
  • 勒达

  • 247篇参考文献[SW0509]
  • 结构、图形和网络算法及计算几何——莱达是第一个覆盖图书馆的图书馆。在世界范围内的各种硬件,软件安装在数百个站点上。算法、数据结构和计算研究人员几何
  • 地质学的

  • 15篇参考文献[ SW057 37 ]
  • 这个程序是交互式的几何 软件具有与证明相关的特征。该项目包括…产生交互式证据软件几何. 地压可以与COQ防爆助手进行通信。
  • 坎德

  • 79篇参考文献[ SW07308]
  • 最初的软件由Alfred Gray编写的17个Mathematica软件包组成。他的书《现代差异》几何曲线和曲面“收集”Rolf Sulanke。因此,现在软件我们有超过200个功能…Alfred Gray收集的表面完成软件作为Mathematica用户的有用工具…
  • 西格斯

  • 24篇参考文献[ SW02638 ]
  • 非线性系统支持几何进入软件图书馆我们的目标是效率、正确性、完整性…