1 search result for "author:"Russell O'Connor <r.oconnor@cs.ru.nl> [http://r6.ca/]""

Showing 1 - 1
  1. coq-karatsuba

    No documentation

    Karatsuba's Multiplication
    keyword: Karatsuba multiplication keyword: binary ring category: Mathematics/Arithmetic and Number Theory/Number theory date: 2005-09-15
    Russell O'Connor <r.oconnor@cs.ru.nl> [http://r6.ca/]
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019