文献

J-GLOBAL ID：202002226465074106   整理番号：20A0851831

任意のベースの乗法的逆モジュロべき乗のための検証されたNewton-Raphson反復【JST・京大機械翻訳】

Verified Newton-Raphson Iteration for Multiplicative Inverses Modulo Powers of Any Base

著者 (1件)： Walther Christoph (Technische Universitaet Darmstadt, Darmstadt, Germany)
資料名： ACM Transactions on Mathematical Software  (ACM Transactions on Mathematical Software)
巻： 45  号： 1  ページ： 1-7  発行年： 2019年 
JST資料番号： D0669A  ISSN： 0098-3500  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 著者らは,乗法的逆モジュロ素数パワーの高速計算のために,公表されたアルゴリズムにおける2つの故障を同定した。アルゴリズムをパッチ化し,修理の正確さの機械支援証明を提示した。著者らの形式的証明はまた,プライムが電力ベースのための不要な需要であることを明らかにして,このように,修理されたアルゴリズムへの応用のより広い範囲を属性化した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 電力 ,  高速計算 ,  素数 ,  *乗算 ,  アルゴリズム

著者キーワード (4件)： モジュラ演算 ,  Newton-Raphson反復 ,  乗法的反転 ,  帰納による定理証明

分類 (2件)： 数値計算  (JE02000J) ,  電力系統一般  (NB02000E)

タイトルに関連する用語 (4件)： 乗法 ,  べき乗 ,  検証 ,  反復