抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
グローバルフィールドのアドホックネットワークとそのユニットのグループ,id のグループは,現代数理論における基本的対象である。Lean3定理証明器における定義の形式化を論じた。必要条件として,著者らはDedekindドメインに関するアディック評価を定式化した。グローバルクラスフィールド理論の主要定理のステートメントを含むいくつかの応用と,多数のフィールドの理想的なクラスグループが,そのid εeleクラスグループの陽的指数と同形であるという証明を示した。【JST・京大機械翻訳】