papers
Publications (10)
cs.CR2011
Recursive double-size fixed precision arithmetic
Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse +1
cs.SC2019
Generic reductions for in-place polynomial multiplication
Pascal Giorgi, Bruno Grenet, Daniel Roche
cs.SC2008
Formal proof for delayed finite field arithmetic using floating point operators
Sylvie Boldo, Marc Daumas, Pascal Giorgi
cs.SC2018
Certification of minimal approximant bases
Pascal Giorgi, Vincent Neiger
cs.SC2009
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet
cs.CC2013
On Polynomial Multiplication in Chebyshev Basis
Pascal Giorgi
cs.MS2014
Elements of Design for Containers and Solutions in the LinBox Library
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi +2
math.KT2007
Parallel computation of the rank of large sparse matrices from algebraic K-theory
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi +1
cs.DC2010
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi
cs.SC2006
Solving Sparse Integer Linear Systems
Wayne Eberly, Mark Giesbrecht, Pascal Giorgi +2