• 辅酶Q

  • 1739篇参考文献[SW0161]
  • 颜色定理建设性的 数学在奈梅亨)和教学…
  • 阿加达

  • 171篇参考文献[SW0969]
  • 类型理论,一个基础系统建设性的 数学由瑞典逻辑学家马丁开发…
  • 图形库

  • 106篇参考文献[SW01555 ]
  • 其他是基于规则的数学的 结构例如格和四元数。图。。。
  • McToobox

  • 1333篇参考文献[ SW048 27 ]
  • 包含函数的Matlab M文件建设测试矩阵,计算矩阵分解,可视化矩阵…工具箱:它描述了许多底层数学和许多算法和矩阵…
  • C型玉米

  • 34篇参考文献[SW0672]
  • 构建基于计算机的图书馆建设性的 数学在定理证明器COQ中进行形式化。背景实验台:我们把数学在一台活跃的计算机上(形式化的……)更新,保持一致。工作原因建设性地部分是历史的,部分是实际的(因为……)建设性的定理证明器,但主要是因为建设性的 数学有额外的奖金提供(实际…
  • 牛顿利伯

  • 250篇参考文献[SW0796]
  • 数字的数学- NewtonLib。Peter DufFARHDS书籍的软件库:非线性问题的牛顿方法——仿射…算法“。这本专著提出了一个方案。建造紧密连接的自适应牛顿型算法…
  • 几何画板

  • 222篇参考文献[SW0858]
  • 有形、可视的学习方式数学这增加了他们的参与、理解和成就…高中生可以使用画板建造并从……变换几何形状和功能。日常阐释与阐释数学的想法课堂测试活动附有演示草图…
  • MML

  • 47篇参考文献[SW06970]
  • 正式语料库数学的知识它已经被构建在许多的过程中…形式化的其他图书馆社区数学的知识可能占据法律和科学…
  • 尤因马特

  • 7篇参考文献[SW15140]
  • 单价风格允许直接形式化建设性的 数学形式化经典数学通过添加…UnimaTM是一个不断增长的图书馆。建设性的 数学形式化的单价样式使用…
  • RZ

  • 6篇参考文献[ SW08944 ]
  • 携带工具建设性的可计算的数学更接近编程实践。可实现性理论可以产生…充当桥梁建设性的 数学通过翻译规范进行编程建设性的逻辑…丰富的输入语言允许复杂的描述数学的结构。RZ不从……中提取代码。
  • 雷德伯特

  • 94篇参考文献[SW1297]
  • 约束优化这本书介绍了一本书。数学的RB方法的制定,分析了它们的基本原理…具体而言,作者讨论了替代策略。建设使用贪婪算法精确的RB空间…偏微分方程引言。整体数学的演讲更刺激了…
  • 所有类型

  • 20篇参考文献[SW02307]
  • 包括七种基本语言建构定义用于实现数学的算法。操作简单…
  • 洛伊丝

  • 5篇参考文献[SW21722]
  • 融合抽象的力量数学的 结构进入命令式编程。无限集合是内部表示的…
  • 速写法

  • 4篇参考文献[SW10845 ]
  • 软件速写法让学生创造数学的 结构用手指或钢笔画草图…提供广泛的可能性数学的可视化。对于雄心勃勃的用户来说…创新编程环境SketchBin微调结构
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 结构(CC),广义演算结构(GCC)和相关类型的统一理论…非正式化的形式化数学. 其底层类型的高阶功率…
  • 路径2模型

  • 4篇参考文献[ SW29 332 ]
  • 参与者,他们的互动,相关数学的 建构以及初始参数值。大多数模型也是…资源可以极大地促进发展数学的模型提供初始启动模型…
  • 科菲

  • 42篇参考文献[ SW01631 ]
  • 基于临界选择的语言建构从许多先前存在的这样的语言…牺牲概念和企业的概念清晰数学的基础这个目标实现了…
  • 纳普什

  • 10篇参考文献[SW28 307]
  • 普通控制但富子集数学的语言包括特克斯风格排版公式和转换…允许常见语法建构并提取数学上的有关假设的相关隐含信息…
  • 马吕科普

  • 20篇参考文献[SW07197]
  • 外部顾问系统。在典型中数学的解决大量问题的设置…进一步的可能性施工自学人工智能的培养数学的大型专家数学的