25 citations · 66 across the 10 of their papers we have counts for
Showing 2015 · cs.SCShow all
2 papers · 2 filters
cs.SC2015★ 1 cited
Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé
Certificates to a linear algebra computation are additional data structures for each output, which can be used by a-possibly randomized- verification algorithm that proves the corr…
cs.SC2015
Fast integer multiplication using generalized Fermat primes
Svyatoslav Covanov, Emmanuel Thomé
For almost 35 years, Sch{ö}nhage-Strassen's algorithm has been the fastest algorithm known for multiplying integers, with a time complexity O(n log n log log n) f…