Jean-Guillaume Dumas

152 papers A* 2B 23C 3Misc 4Journal 95Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplications.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2026 J jnl
Algorithms for the local and the global postage stamp problem.
CoRR
Léo Colisson Palais, Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan
2026 J jnl
Computational Explorations on Semifields.
CoRR
Jean-Guillaume Dumas, Stefano Lia, John Sheekey
2026 J jnl
Fast in-place accumulation.
J. Symb. Comput.
Jean-Guillaume Dumas, Bruno Grenet
2026 J jnl
Fuzzy Private Set Union via Oblivious Key Homomorphic Encryption Retrieval.
CoRR
Jean-Guillaume Dumas, Aude Maignan, Luiza Soezima
2026 J jnl
Towards automated generation of fast and accurate algorithms for recursive matrix multiplication.
J. Symb. Comput.
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2025 J jnl
A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2025 — conf
Optimal Communication Unbalanced Private Set Union.
ACNS (2)
Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche
2025 J jnl
Towards automated generation of fast and accurate algorithms for recursive matrix multiplication.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2024 J jnl
Communication Optimal Unbalanced Private Set Union.
CoRR
Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche
2024 B conf
In-place accumulation of fast multiplication formulae.
ISSAC
Jean-Guillaume Dumas, Bruno Grenet
2024 B conf
In-place fast polynomial modular remainder.
ISSAC
Jean-Guillaume Dumas, Bruno Grenet
2024 B conf
Strassen's algorithm is not optimally accurate.
ISSAC
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2024 J jnl
Strassen's algorithm is not optimally accurate.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2023 J jnl
Fast in-place accumulated bilinear formulae.
CoRR
Jean-Guillaume Dumas, Bruno Grenet
2023 J jnl
In-place fast polynomial modular remainder.
CoRR
Jean-Guillaume Dumas, Bruno Grenet
2023 J jnl
Some fast algorithms multiplying a matrix by its adjoint.
J. Symb. Comput.
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2023 J jnl
The forking effect.
CoRR
Florentina Soiman, Mathis Mourey, Jean-Guillaume Dumas, Sonia Jimenez-Garces
2023 J jnl
VESPo: Verified Evaluation of Secret Polynomials (with application to dynamic proofs of retrievability).
Proc. Priv. Enhancing Technol.
Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
2022 J jnl
Optimal threshold padlock systems.
J. Comput. Secur.
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
2021 A* conf
Dynamic proofs of retrievability with low server storage.
USENIX Security Symposium
Gaspard Anthoine, Jean-Guillaume Dumas, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Michael Hanling, Daniel S. Roche
2021 J jnl
Some fast algorithms multiplying a matrix by its adjoint.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2021 J jnl
VESPo: Verified Evaluation of Secret Polynomials.
CoRR
Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
2020 J jnl
A Faster Cryptographer's Conspiracy Santa.
CoRR
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2020 J jnl
A faster cryptographer's Conspiracy Santa.
Theor. Comput. Sci.
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2020 J jnl
Dynamic proofs of retrievability with low server storage.
CoRR
Gaspard Anthoine, Jean-Guillaume Dumas, Michael Hanling, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Daniel S. Roche
2020 J jnl
Elimination-based certificates for triangular equivalence and rank profiles.
J. Symb. Comput.
Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas, Clément Pernet
2020 B conf
On fast multiplication of a matrix by its transpose.
ISSAC
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2020 J jnl
On fast multiplication of a matrix by its transpose.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2020 J jnl
Optimal Threshold Padlock Systems.
CoRR
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
2019 J jnl
Elimination-based certificates for triangular equivalence and rank profiles.
CoRR
Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas, Clément Pernet
2019 Misc conf
Interactive Physical Zero-Knowledge Proof for Norinori.
COCOON
Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
2019 B conf
LU Factorization with Errors.
ISSAC
Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel S. Roche
2019 J jnl
LU factorization with errors.
CoRR
Jean-Guillaume Dumas, Joris van der Hoeven, Clément Pernet, Daniel S. Roche
2019 A* conf
Poster: Proofs of Retrievability with Low Server Storage.
CCS
Michael Hanling, Gaspard Anthoine, Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
2019 Misc conf
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm.
IWSEC
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
2018 Misc conf
A Cryptographer's Conspiracy Santa.
FUN
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2018 C conf
Physical Zero-Knowledge Proof for Makaro.
SSS
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
2018 B conf
Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk).
CASC
Jean-Guillaume Dumas
2018 J jnl
Proof-of-work certificates that can be efficiently computed in the cloud.
CoRR
Jean-Guillaume Dumas
2018 B conf
Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix.
ISSAC
Jean-Guillaume Dumas, Clément Pernet
2018 J jnl
Symmetric indefinite triangular factorization revealing the rank profile matrix.
CoRR
Jean-Guillaume Dumas, Clément Pernet
2017 B conf
Certificates for Triangular Equivalence and Rank Profiles.
ISSAC
Jean-Guillaume Dumas, David Lucas, Clément Pernet
2017 J jnl
Certificates for triangular equivalence and rank profiles.
CoRR
Jean-Guillaume Dumas, David Lucas, Clément Pernet
2017 J jnl
Dual protocols for private multi-party matrix multiplication and trust computations.
Comput. Secur.
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2017 J jnl
Fast computation of the rank profile matrix and the generalized Bruhat decomposition.
J. Symb. Comput.
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2017 C conf
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX.
SECRYPT
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
2017 — conf
LocalPKI: An Interoperable and IoT Friendly PKI.
ICETE (Selected Papers)
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
2017 B conf
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits.
ISSAC
Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi
2017 — conf
Prover Efficient Public Verification of Dense or Sparse/Structured Matrix-Vector Multiplication.
ACISP (2)
Jean-Guillaume Dumas, Vincent Zucca
2017 J jnl
Prover efficient public verification of dense or sparse/structured matrix-vector multiplication.
CoRR
Jean-Guillaume Dumas, Vincent Zucca
2016 J jnl
Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2016 J jnl
Fast Matrix Multiplication and Symbolic Computation.
CoRR
Jean-Guillaume Dumas, Victor Y. Pan
2016 B conf
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix.
ISSAC
Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard
2016 J jnl
Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix.
CoRR
Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé, Gilles Villard
2016 J jnl
Matrix Multiplication Over Word-Size Modular Rings Using Approximate Formulas.
ACM Trans. Math. Softw.
Brice Boyer, Jean-Guillaume Dumas
2016 Misc conf
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen.
FUN
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2016 J jnl
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen.
CoRR
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2016 C conf
Private Multi-party Matrix Multiplication and Trust Computations.
SECRYPT
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2016 J jnl
Private Multi-party Matrix Multiplication and Trust Computations.
CoRR
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
2016 J jnl
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination.
Parallel Comput.
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
2016 — conf
Recursive Double-Size Fixed Precision Arithmetic.
ICMS
Alexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi
2015 J jnl
Brandt's fully private auction protocol revisited.
J. Comput. Secur.
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2015 B conf
Computing the Rank Profile Matrix.
ISSAC
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2015 J jnl
Computing the Rank Profile Matrix.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2015 — book
Foundations of Coding - Compression, Encryption, Error Correction.
Jean-Guillaume Dumas, Jean-Louis Roch, Eric Tannier, Sébastien Varrette
2015 J jnl
Hilbert-Post completeness for the state and the exception effects.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
2015 J jnl
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.
CoRR
Jean-Guillaume Dumas, Erich L. Kaltofen, Emmanuel Thomé
2015 — ed.
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, PASCO 2015, Bath, United Kingdom, July 10-12, 2015
PASCO
Jean-Guillaume Dumas, Erich L. Kaltofen, Clément Pernet
2015 — conf
Relative Hilbert-Post Completeness for Exceptions.
MACIS
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud
2014 J jnl
Breaking a monad-comonad symmetry between computational effects.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2014 — conf
Certified Proofs in Programs Involving Exceptions.
CICM Workshops
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud
2014 — conf
Elements of Design for Containers and Solutions in the LinBox Library - Extended Abstract.
ICMS
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders
2014 J jnl
Elements of Design for Containers and Solutions in the LinBox Library.
CoRR
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders
2014 B conf
Essentially optimal interactive certificates in linear algebra.
ISSAC
Jean-Guillaume Dumas, Erich L. Kaltofen
2014 J jnl
Essentially optimal interactive certificates in linear algebra.
CoRR
Jean-Guillaume Dumas, Erich L. Kaltofen
2014 — conf
Formal verification in Coq of program properties involving the global state effect.
JFLA
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
2014 J jnl
Generating S-Boxes from Semi-fields Pseudo-extensions.
CoRR
Jean-Guillaume Dumas, Jean-Baptiste Orfila
2014 J jnl
Matrix Multiplication over Word-size Modular Fields Using Bini's Approximate Formula.
ACM Commun. Comput. Algebra
Brice Boyer, Jean-Guillaume Dumas
2014 J jnl
On Newton-Raphson Iteration for Multiplicative Inverses Modulo Prime Powers.
IEEE Trans. Computers
Jean-Guillaume Dumas
2014 — conf
Parallel Computation of Echelon Forms.
Euro-Par
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
2014 J jnl
Parallel computation of echelon forms.
CoRR
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan
2014 J jnl
Program certification with computational effects.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
2013 J jnl
A decorated proof system for exceptions.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2013 — conf
Brandt's Fully Private Auction Protocol Revisited.
AFRICACRYPT
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2013 — ch.
Computational linear algebra over finite fields.
Handbook of Finite Fields
Jean-Guillaume Dumas, Clément Pernet
2013 J jnl
Formal verification in Coq of program properties involving the global state effect.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous
2013 J jnl
Patterns for computational effects arising from a monad or a comonad.
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2013 J jnl
Simultaneous computation of the row and column rank profiles
CoRR
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2013 B conf
Simultaneous computation of the row and column rank profiles.
ISSAC
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan
2013 J jnl
Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source.
Theor. Comput. Sci.
Grégory Nuel, Jean-Guillaume Dumas
2012 J jnl
A duality between exceptions and states.
Math. Struct. Comput. Sci.
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 J jnl
Adjunctions for exceptions
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 J jnl
Attacking Privacy in a Fully Private Auction Protocol
CoRR
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
2012 J jnl
Computational linear algebra over finite fields
CoRR
Jean-Guillaume Dumas, Clément Pernet
2012 J jnl
Decorated proofs for computational effects: Exceptions
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 — conf
Decorated proofs for computational effects: States
ACCAT
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2012 — conf
Matrix Powers Algorithms for Trust Evaluation in Public-Key Infrastructures.
STM
Jean-Guillaume Dumas, Hicham Hossayni
2012 J jnl
On Newton-Raphson iteration for multiplicative inverses modulo prime powers
CoRR
Jean-Guillaume Dumas
2011 J jnl
A duality between exceptions and states
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2011 J jnl
Cartesian effect categories are Freyd-categories.
J. Symb. Comput.
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2011 J jnl
Matrix Powers algorithm for trust evaluation in PKI architectures
CoRR
Jean-Guillaume Dumas, Hicham Hossayni
2011 J jnl
Rank properties of subspaces of symmetric and hermitian matrices over finite fields.
Finite Fields Their Appl.
Jean-Guillaume Dumas, Rod Gow, John Sheekey
2011 J jnl
Recursive double-size fixed precision arithmetic
CoRR
Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi
2011 J jnl
Simultaneous modular reduction and Kronecker substitution for small finite fields.
J. Symb. Comput.
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
2010 — book
Contributions au calcul exact intensif. (Contributions to high-performance computer algebra).
Jean-Guillaume Dumas
2010 J jnl
Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore Architectures
CoRR
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi
2010 — conf
Exact sparse matrix-vector multiplication on GPU's and multicore architectures.
PASCO
Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi
2010 J jnl
Generic design of Chinese remaindering schemes
CoRR
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
2010 J jnl
Generic design of Chinese remaindering schemes
CoRR
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
2010 — conf
Generic design of Chinese remaindering schemes.
PASCO
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch
2010 — conf
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation.
ICMS
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
2010 J jnl
LinBox founding scope allocation, parallel building blocks, and separate compilation
CoRR
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders
2010 J jnl
Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source.
CoRR
Grégory Nuel, Jean-Guillaume Dumas
2010 J jnl
States and exceptions are dual effects
CoRR
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud
2009 J jnl
Cartesian effect categories are Freyd-categories
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2009 B conf
Fault Attacks on RSA Public Keys: Left-To-Right Implementations Are Also Vulnerable.
CT-RSA
Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas, Louis Goubin
2009 J jnl
Fault Attacks on RSA Public Keys: Left-To-Right Implementations are also Vulnerable
CoRR
Alexandre Berzati, Cécile Canovas, Jean-Guillaume Dumas, Louis Goubin
2009 B conf
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm.
ISSAC
Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou
2009 J jnl
On finding multiplicities of characteristic polynomial factors of black-box matrices
CoRR
Jean-Guillaume Dumas, Clément Pernet, B. David Saunders
2009 B conf
On finding multiplicities of characteristic polynomial factors of black-box matrices.
ISSAC
Jean-Guillaume Dumas, Clément Pernet, B. David Saunders
2008 J jnl
Compressed Modular Matrix Multiplication
CoRR
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
2008 J jnl
Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK Packages.
ACM Trans. Math. Softw.
Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet
2008 B conf
Q-adic transform revisited.
ISSAC
Jean-Guillaume Dumas
2008 J jnl
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields
CoRR
Jean-Guillaume Dumas, Laurent Fousse, Bruno Salvy
2007 J jnl
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
CoRR
Jean-Guillaume Dumas, Clément Pernet, Wei Zhou
2007 J jnl
Parallel computation of the rank of large sparse matrices from algebraic K-theory
CoRR
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska
2007 — conf
Parallel computation of the rank of large sparse matrices from algebraic K-theory.
PASCO
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pascal Giorgi, Anna Urbanska
2007 J jnl
Q-adic Transform revisited
CoRR
Jean-Guillaume Dumas
2007 J jnl
Sequential products in effect categories
CoRR
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
2006 — conf
Adaptive Triangular System Solving.
Challenges in Symbolic Computation Software
Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch
2006 J jnl
Bounds on the coefficients of the characteristic and minimal polynomials
CoRR
Jean-Guillaume Dumas
2006 J jnl
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
CoRR
Jean-Guillaume Dumas, Thierry Gautier, Pascal Giorgi, Clément Pernet
2006 J jnl
Efficient polynomial time algorithms computing industrial-strength primitive roots.
Inf. Process. Lett.
Jacques Dubrois, Jean-Guillaume Dumas
2006 — conf
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBox.
LMO
Jean-Guillaume Dumas, Dominique Duval
2005 J jnl
Algorithms for Hybrid Optimal Control
CoRR
Jean-Guillaume Dumas, Aude Rondepierre
2005 B conf
Algorithms for symbolic/numeric control of affine dynamical systems.
ISSAC
Aude Rondepierre, Jean-Guillaume Dumas
2005 J jnl
An introspective algorithm for the integer determinant
CoRR
Jean-Guillaume Dumas, Anna Urbanska
2005 J jnl
Efficient Computation of the Characteristic Polynomial
CoRR
Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan
2005 B conf
Efficient computation of the characteristic polynomial.
ISSAC
Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan
2005 J jnl
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
CoRR
Jean-Guillaume Dumas, Dominique Duval
2004 J jnl
Efficient dot product over word-size finite fields
CoRR
Jean-Guillaume Dumas
2004 J jnl
Efficient polynomial time algorithms computing industrial-strength primitive roots
CoRR
Jacques Dubrois, Jean-Guillaume Dumas
2004 B conf
FFPACK: finite field linear algebra package.
ISSAC
Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet
2003 — conf
Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms.
Algebra, Geometry, and Software Systems
Jean-Guillaume Dumas, Frank Heckenbach, B. David Saunders, Volkmar Welker
2003 — conf
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System.
HSCC
Jean-Guillaume Dumas, Aude Rondepierre
2002 B conf
Finite field linear algebra subroutines.
ISSAC
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet
2002 J jnl
On parallel block algorithms for exact triangularizations.
Parallel Comput.
Jean-Guillaume Dumas, Jean-Louis Roch
2001 B conf
A parallel block algorithm for exact triangularization of rectangular matrices.
SPAA
Jean-Guillaume Dumas, Jean-Louis Roch
2001 J jnl
On Efficient Sparse Integer Matrix Smith Normal Form Computations.
J. Symb. Comput.
Jean-Guillaume Dumas, B. David Saunders, Gilles Villard
2000 — —
Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques. (Efficient parallel algorithm for computer algebra : sparce linear algebra and algebraic extensions).
Jean-Guillaume Dumas
2000 B conf
Integer Smith form via the valence: experience with large sparse matrices from homology.
ISSAC
Jean-Guillaume Dumas, B. David Saunders, Gilles Villard