4 citations · 6 across the 2 of their papers we have counts for
2 papers
math.KT2007★ 4 cited
Parallel computation of the rank of large sparse matrices from algebraic K-theory
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi +1
This paper deals with the computation of the rank and of some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in th…
cs.SC2007★ 2 cited
Formal proof for delayed finite field arithmetic using floating point operators
Sylvie Boldo, Marc Daumas, Pascal Giorgi
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users…