• 可口可乐

  • 在1807篇文章中引用[sw00161]
  • 颜色定理或建设性的 数学在奈梅根)和教学。。。
  • 阿格达

  • 引用了190篇文章[sw09689]
  • 类型理论建设性的 数学由瑞典逻辑学家Per Martin开发。。。
  • 葡萄糖酶

  • 在122篇文章中引用[sw01555]
  • 其他的是基于常规数学的 结构比如格和四元数。图。。。
  • mc工具箱

  • 在1423篇文章中引用[sw04827]
  • 包含函数的MATLAB M文件建造测试矩阵,计算矩阵因子分解,矩阵可视化。。。工具箱:它描述了很多底层数学很多算法和矩阵。。。
  • 玉米

  • 在34篇文章中引用[sw06752]
  • 建立一个基于计算机的图书馆建设性的 数学,在定理证明器Coq中形式化。背景。。。这方面的试验台:我们数学在一个主动的(形式化的。。。更新,保持一致)。工作的原因建设性地一部分是历史的,一部分是实际的(因为。。。建设性的但主要是因为建设性的 数学有额外的奖金提供(实际。。。
  • 大学数学

  • 引用15篇文章[sw15140]
  • 单叶样式允许直接形式化建设性的 数学把古典主义形式化数学通过添加。。。UniMath是一个不断增长的图书馆建设性的 数学在单价的形式化使用。。。
  • 纽顿利布

  • 引用273篇文章[sw04796]
  • 数字的数学-纽顿利布。彼得·德乌夫哈德著作《非线性问题的牛顿方法——仿射。。。算法”。这本专著提出了一个计划建造密切相关的自适应牛顿型算法。。。
  • 几何画板

  • 引用226篇[sw04858]
  • 大学——一种有形的、视觉化的学习方式数学这增加了他们的参与度、理解力和成就。。。高中生可以用画板建造以及变换几何图形和函数。。。每天来说明和说明数学的思想。课堂测试活动附有演示草图。。。
  • 引用47篇文章[sw06970]
  • 大量正式化的语料库数学的知识。一直是这样构建经过许多。。。其他正式图书馆的社区数学的知识可能会占用法律和科学知识。。。
  • 雷德布基特

  • 在174篇文章中引用[sw12977]
  • 约束优化。这本书介绍了一位将军数学的建立了RB方法,分析了它们的基本原理。。。具体来说,作者讨论了建造精确的RB空间使用贪婪算法。。。偏微分方程。介绍。整体数学的演讲更具刺激性。。。
  • RZ公司

  • 参考6篇文章[sw08944]
  • 携带工具建设性的可计算的数学更接近编程实践。可实现性理论可以产生。。。起到桥梁的作用建设性的 数学以及通过在建设性的逻辑。。。丰富的输入语言,允许复杂的数学的结构。RZ不从。。。
  • 所有类型

  • 引用了20篇文章[sw02307]
  • 包括七种基本语言构造是为了实现数学的算法。简单的操作。。。
  • 速写

  • 引用5篇文章[sw10845号]
  • 软件素描法使学生能够数学的 结构用手指或钢笔画草图。。。提供广泛的可能性数学的可视化。对于雄心勃勃的用户来说。。。创新编程环境SketchBin微调结构...
  • 露易丝

  • 引用5篇文章【sw21722】
  • 融合抽象的力量数学的 结构命令式编程。无限集是内部表示的。。。
  • 不明飞行物

  • 在56篇文章中引用[sw11183]
  • 近场偏微分方程组-数学的符号,导致简洁,直观和可读。。。这部作品的语言和它的建设. UFL的实现是免费的。。。
  • 纳普罗什

  • 参考12篇文章[sw28307]
  • 普通的受控但丰富的子集数学的语言包括文本样式的排版公式和转换。。。考虑到普通语法构造提取数学上关于假设的相关隐含信息。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 结构(CC),广义微积分结构(GCC)和依赖类型的统一理论。。。正式化更接近于非正式的数学. 其底层类型的高阶幂。。。
  • 在14篇文章中引用[sw24968号]
  • 证明结果建设保留必要的数学的所需属性。。。
  • 路径2模型

  • 引用4篇文章[sw29332]
  • 参与者,他们的互动,相关的数学的 构造,以及初始参数值。大多数模型也是。。。资源可以极大地促进数学的通过提供初始的模型。。。
  • 男警察

  • 引用21篇文章[sw07197]
  • 外部顾问系统。在典型的数学的解决许多问题在一个大。。。进一步发展的可能性建设以及自主学习人工智能的训练数学的一般专家数学的...