• LMFDB

  • 83篇参考文献[SW07249]
  • 普遍存在的数量理论并应用于数学的物理学与密码学…ζ函数七种粘土中的两种数学百万美元的千年问题处理财产…编码关于多个数学的目标有必要展示这些物品…数据作为进一步提示的手段探索和发现。我们相信创造…
  • 逆合成孔径雷达

  • 137篇参考文献[SW04999 ]
  • 这种成功在实际的形式化部分数学而计算机科学还有障碍…构造函数或不正确的辅助命令(用于诊断)探索等等)。证明文本包括适当的文件…集成到伊莎贝尔/纯元逻辑实现中。理论定理、证明程序等可用于…
  • 组资源管理器

  • 7篇参考文献[SW07153]
  • 群组探险者数学的抽象代数可视化软件教室。帮助用户可视化…群组理论建立学生的直觉,并使实验组。
  • 图论中的冒险

  • 1篇参考文献[SW23 333 ]
  • 多样的领域数学,如流形上的微积分,群理论代数曲线、傅立叶分析…组合数学的领域。图形综述理论图的定义和多项式不变量准备…对可能领域的兴趣探索最近的结果数学出现在书中,伴随着…探索如何应用图形理论其他部分数学
  • DDLAB

  • 4篇参考文献[ SW0788]
  • 使用交互式图形,DDLAB能够探索巨大的多样性行为,主要是Terra…数学的表示状态空间中收敛流的对象。应用范围在物理学中,数学生物学…神经和遗传网络,人工生命,和理论记忆…
  • GW-Wink

  • 9篇参考文献[SW0772]
  • 各种领域的例子,发展理论并提供软件来处理时间序列…在维护的过程中,他们通过书的方式数学的严谨。其中一个独特的特点…学生容易从模型中生成实现探索相关模型和数据特征…
  • IQC

  • 8篇参考文献[SW21941]
  • 数学的实际过程的模型。这个数学的模型很少准确地描述真实的过程。不确定的时间延迟),不太可能探索真实系统的所有可能行为…系统与控制领域理论因为它们的实际重要性。多种方法…
  • 弗朗西

  • 2篇参考文献[SW25788 ]
  • 在这种情况下,教学探索大而复杂数学的目标GAP是一台电脑…强调计算群的代数理论. 现有的XAP封装的GAP工程…
  • 萨克斯

  • 3篇参考文献[SW30464 ]
  • 电子表格与框架的交互:探索数学的实践因为数学真的是关于数学家……这篇文章,我们来看看数学的框架的实践,其中一个对象…从很好的理解来看数学的结构。新的视角不仅允许…框架下的框架模型理论图表,并显示如何框架…
  • 对偶矩阵

  • 2篇参考文献[SW150 22]
  • 探索一些具有符号计算的奇异积分算子的谱。光谱理论结构力学、航空、量子力学、生态学、概率论理论电气工程,等等)和重要性…符号计算存在于许多数学的算法。在我们的工作中,我们使用CAS Mathematica…操作员中的其他人理论. 本文的主要目的是展示…
  • 等量标量

  • 2篇参考文献[SW150 23 ]
  • 探索一些具有符号计算的奇异积分算子的谱。光谱理论结构力学、航空、量子力学、生态学、概率论理论电气工程,等等)和重要性…符号计算存在于许多数学的算法。在我们的工作中,我们使用CAS Mathematica…操作员中的其他人理论. 本文的主要目的是展示…
  • 比例符号映射

  • 1篇参考文献[SW2605]
  • 艾滋病不仅在数据上探索在传播中也赋予空间观念。包装至今。基于理论地图制图中的比例符号映射使用R的比例符号映射,包括数学的感知缩放。这些功能的一个例子…
  • NLMEU

  • 4篇参考文献[SW0731]
  • 同时强调两者的特点理论选择软件(R),即LMM包…LMMs。第三章,数据探索提供有用的可视化技术并介绍用户。纤维比力(第17章)数学成就分数(第18章)和达成目标…大量收藏理论和例子,一个先进的描述…
  • 阿吉夫

  • 1篇参考文献[SW27 867 ]
  • 这种数据结构自然激发了同步。探索在……中的联合变异和个体变异快速线性代数计算。重要的数学的贡献是分数子空间的使用…变异结构与扰动的应用理论作为变异分割的指导。
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • HSL

  • 258篇参考文献[SW0418]
  • HSL(以前是HWWELL子程序库)是…