Efficient and formally proven reduction of large integers by small moduli

DOI10.1145/1731022.1731026zbMath1364.65314OpenAlexW2043657477WikidataQ113310496 ScholiaQ113310496MaRDI QIDQ2989099

Marko van Eekelen, Luc Rutten

Publication date: 19 May 2017

Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/72253

zbMATH Keywords

optimizationcomputer arithmeticmodular reductionmachine-checked proofs

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (1)

Efficient Modular Reduction Algorithm Without Correction Phase

Uses Software

• Unnamed Item

This page was built for publication: Efficient and formally proven reduction of large integers by small moduli