1 search result for "author:"Luc Rutten""

Showing 1 - 1
  1. coq-mod-red

    No documentation

    Efficient Reduction of Large Integers by Small Moduli
    keyword: Algorithms keyword: Performance keyword: Computer Arithmetic keyword: Modular Reduction keyword: Optimization category: Mathematics/Arithmetic and Number Theory/Miscellaneous date: 2007-12; Updated in April 2009
    Luc Rutten
    8.10.0
    GNU Lesser General Public License
    Used by 0 other packages
    07 Dec 2019