Sorted by kinds
jahier · 2009
Synchrone by years ; by kinds Tempo by years ; by kinds Pacss by years ; by kinds RSD by years ; by kinds Verimag by years ; by kinds Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. Victor Magron, Alexandre Rocca, Thao Dang - IEEE (...)