抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
このノートは,Lucas-LehmerテストとPocklington証明書のCoqにおいて,プライム数に対する定式化を行った。それらは両方ともFermat小定理の直接的な結果である。Fermat小定理は,基本グループ理論と特にLagrange定理を用いて証明される。【JST・京大機械翻訳】