吉祥寺北口システムが気になった記事をクリップしています。タイトルから元記事にリンクしています。タグは記事タイトルを形態素分析しています。たまにコメントをつけています。

定理

• Isabelle/HOL: Nitro Isolation Engine を支える定理証明支援系 | Amazon Web Services ブログ
  • Amazon(9821)
  • Engine(279)
  • HOL(1)
  • Isabelle(1)
  • Isolation(23)
  • NiTRo(19)
  • Services(7850)
  • Web(10926)
  • ブログ(9291)
  • 定理(4)
  • 支援(5237)
  • 証明(226)
• 英DeepMindと数学者ら、AI利用で新たな数学の定理を発見へ | スラド サイエンス
  • ai(7387)
  • DeepMind(17)
  • サイエンス(4302)
  • 利用(5617)
  • 定理(4)
  • 数学(25)
  • 数学者(7)
  • 発見(800)
• フェルマーの最終定理、IUT理論による証明が行われる | スラド サイエンス
  • IUT(1)
  • サイエンス(4302)
  • フェルマー(1)
  • 定理(4)
  • 最終(318)
  • 理論(46)
  • 証明(226)
• 【プレスリリース】世界に1つだけの三角形の組 －抽象現代数学を駆使して素朴な定理の証明に成功－ | 日本の研究.com
  • Com(1649)
  • プレスリリース(19525)
  • 三角形(3)
  • 世界(2172)
  • 定理(4)
  • 成功(1313)
  • 抽象(5)
  • 数学(25)
  • 日本(6425)
  • 現代(81)
  • 研究(2365)
  • 素朴(2)
  • 証明(226)
  • 駆使(43)