Efficient and formally proven reduction of large integers by small moduli
Rutten, Luc, Van Eekelen, MarkoVolume:
37
Language:
english
Journal:
ACM Transactions on Mathematical Software
DOI:
10.1145/1731022.1731026
Date:
April, 2010
File:
PDF, 1.23 MB
english, 2010