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

定理

• Isabelle/HOL: Nitro Isolation Engine を支える定理証明支援系 | Amazon Web Services ブログ
  • Amazon(9711)
  • Engine(276)
  • HOL(1)
  • Isabelle(1)
  • Isolation(23)
  • NiTRo(19)
  • Services(7743)
  • Web(10730)
  • ブログ(9172)
  • 定理(4)
  • 支援(5193)
  • 証明(209)
• 英DeepMindと数学者ら、AI利用で新たな数学の定理を発見へ | スラド サイエンス
  • ai(7205)
  • DeepMind(17)
  • サイエンス(4301)
  • 利用(5518)
  • 定理(4)
  • 数学(25)
  • 数学者(7)
  • 発見(799)
• フェルマーの最終定理、IUT理論による証明が行われる | スラド サイエンス
  • IUT(1)
  • サイエンス(4301)
  • フェルマー(1)
  • 定理(4)
  • 最終(309)
  • 理論(46)
  • 証明(209)
• 【プレスリリース】世界に1つだけの三角形の組 －抽象現代数学を駆使して素朴な定理の証明に成功－ | 日本の研究.com
  • Com(1612)
  • プレスリリース(19523)
  • 三角形(3)
  • 世界(2162)
  • 定理(4)
  • 成功(1306)
  • 抽象(5)
  • 数学(25)
  • 日本(6359)
  • 現代(81)
  • 研究(2347)
  • 素朴(2)
  • 証明(209)
  • 駆使(43)