数学

135 条知识 · 7/9

数学概念、理论、谜题和应用

• 
  数学

  计算机能精确证明数学定理

• 
  数学

  Abella揭示逻辑编程的隐藏规则

• 
  数学

  Lean的引擎自动完成复杂的数学证明

• 
  数学

  NuPRL将数学证明转化为完美程序

• 
  数学

  小模型能理解无限集吗？

• 
  数学

  计算机现在检查数学错误

• 
  数学

  代码与逻辑是同一枚硬币的两面

• 
  数学

  Twelf 分析验证数学的工具

• 
  数学

  这种逻辑拒绝排中律

• 
  数学

  Matita 帮助计算机检查数学证明

• 
  数学

  一个震撼根基的数学证明

• 
  数学

  蔡廷常数揭示了计算的随机核心

• 
  数学

  佐恩引理有助于找到极大链

• 
  数学

  数学的隐秘世界：超越标准数

• 
  数学

  自然界中的对称性创造了守恒定律

其他类别

类别 →

• 科学
• 自然
• 历史
• 文化
• 技术
• 心理学
• 艺术
• 地理
• 健康
• 商业
• 哲学
• 语言