Clément Pernet

85 papers A* 2B 24Misc 1Journal 50Unranked 4
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
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 J jnl
Towards automated generation of fast and accurate algorithms for recursive matrix multiplication.
CoRR
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic
2024 B conf
Computing Krylov iterates in the time of matrix multiplication.
ISSAC
Vincent Neiger, Clément Pernet, Gilles Villard
2024 J jnl
Computing Krylov iterates in the time of matrix multiplication.
CoRR
Vincent Neiger, Clément Pernet, Gilles Villard
2024 J jnl
High-order lifting for polynomial Sylvester matrices.
J. Complex.
Clément Pernet, Hippolyte Signargout, Gilles Villard
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 B conf
Exact computations with quasiseparable matrices.
ISSAC
Clément Pernet, Hippolyte Signargout, Gilles Villard
2023 J jnl
Exact computations with quasiseparable matrices.
CoRR
Clément Pernet, Hippolyte Signargout, Gilles Villard
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
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
2021 B conf
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices.
ISSAC
Pierre Karpman, Clément Pernet, Hippolyte Signargout, Gilles Villard
2021 J jnl
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like Matrices.
CoRR
Clément Pernet, Hippolyte Signargout, Pierre Karpman, Gilles Villard
2021 J jnl
Deterministic computation of the characteristic polynomial in the time of matrix multiplication.
J. Complex.
Vincent Neiger, Clément Pernet
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 B conf
Hermite Interpolation With Error Correction: Fields of Zero or Large Characteristic and Large Error Rate.
ISSAC
Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
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
2021 J jnl
Verification protocols with sub-linear communication for polynomial matrix operations.
J. Symb. Comput.
David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
2020 J jnl
Deterministic computation of the characteristic polynomial in the time of matrix multiplication.
CoRR
Vincent Neiger, Clément Pernet
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
Hermite Rational Function Interpolation with Error Correction.
CASC
Erich L. Kaltofen, Clément Pernet, Zhi-Hong Yang
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
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 J jnl
Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic.
SIAM J. Matrix Anal. Appl.
Claude-Pierre Jeannerod, Théo Mary, Clément Pernet, Daniel S. Roche
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 J jnl
Interactive Certificates for Polynomial Matrices with Sub-Linear Communication.
CoRR
David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
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
2018 J jnl
Time and space efficient generators for quasiseparable matrices.
J. Symb. Comput.
Clément Pernet, Arne Storjohann
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 B conf
Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction.
ISSAC
Erich L. Kaltofen, Clément Pernet, Arne Storjohann, Cleveland Waddell
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 J jnl
Time and space efficient generators for quasiseparable matrices.
CoRR
Clément Pernet, Arne Storjohann
2016 B conf
Computing with Quasiseparable Matrices.
ISSAC
Clément Pernet
2016 J jnl
Computing with quasiseparable matrices.
CoRR
Clément Pernet
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
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
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 B conf
Exact Linear Algebra Algorithmic: Theory and Practice.
ISSAC
Clément Pernet
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
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 — book
High Performance and Reliable Algebraic Computing. (Calcul Algébrique Fiable et Haute Performance).
Clément Pernet
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
Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance.
CoRR
Erich L. Kaltofen, Clément Pernet
2014 B conf
Sparse polynomial interpolation codes and their decoding beyond half the minimum distance.
ISSAC
Erich L. Kaltofen, Clément Pernet
2013 — ch.
Computational linear algebra over finite fields.
Handbook of Finite Fields
Jean-Guillaume Dumas, Clément Pernet
2013 J jnl
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition.
J. Symb. Comput.
Claude-Pierre Jeannerod, Clément Pernet, Arne Storjohann
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
2012 J jnl
Computational linear algebra over finite fields
CoRR
Jean-Guillaume Dumas, Clément Pernet
2012 J jnl
On the decoding of quasi-BCH codes
CoRR
Morgan Barbier, Clément Pernet, Guillaume Quintin
2012 B conf
Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values.
ISSAC
Matthew T. Comer, Erich L. Kaltofen, Clément Pernet
2011 J jnl
Efficient Dense Gaussian Elimination over the Finite Field with Two Elements
CoRR
Martin R. Albrecht, Gregory V. Bard, Clément Pernet
2011 J jnl
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
CoRR
Claude-Pierre Jeannerod, Clément Pernet, Arne Storjohann
2010 J jnl
Efficient Decomposition of Dense Matrices over GF(2)
CoRR
Martin R. Albrecht, Clément Pernet
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 B conf
Output-sensitive decoding for redundant residue systems.
ISSAC
Majid Khonji, Clément Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski
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
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
2007 B conf
Faster algorithms for the characteristic polynomial.
ISSAC
Clément Pernet, Arne Storjohann
2007 J jnl
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
CoRR
Jean-Guillaume Dumas, Clément Pernet, Wei Zhou
2006 — conf
Adaptive Triangular System Solving.
Challenges in Symbolic Computation Software
Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch
2006 — —
Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique. (Efficient exact linear algebra: computing the characteristic polynomial).
Clément Pernet
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
2005 J jnl
Computing the Kalman form
CoRR
Clément Pernet, Aude Rondepierre, Gilles Villard
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
2004 B conf
FFPACK: finite field linear algebra package.
ISSAC
Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet
2003 J jnl
LU based algorithms for characteristic polynomial over a finite field.
SIGSAM Bull.
Clément Pernet, Zhendong Wan
2002 B conf
Finite field linear algebra subroutines.
ISSAC
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet