Number of documents

38

Publications by Clément Pernet


Journal articles6 documents

Conference papers22 documents

  • Jean-Guillaume Dumas, Joris Van Der Hoeven, Clément Pernet, Daniel Roche. LU factorization with errors. ISSAC'19, Jul 2019, Beijing, China. ⟨hal-01997592⟩
  • Jean-Guillaume Dumas, Clément Pernet. Symmetric indefinite triangular factorization revealing the rank profile matrix. ISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩. ⟨hal-01704793⟩
  • Jean-Guillaume Dumas, David Lucas, Clement Pernet. Certificates for triangular equivalence and rank profiles. ACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩. ⟨hal-01466093⟩
  • Erich Kaltofen, Clement Pernet, Arne Storjohann, Cleveland Waddell. Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction. ISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩. ⟨hal-01982114⟩
  • Clement Pernet. Computing with quasiseparable matrices. International Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩. ⟨hal-01264131v2⟩
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix. ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩. ⟨hal-01107722v2⟩
  • Erich L. Kaltofen, Clément Pernet. Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance. ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩. ⟨hal-01068308⟩
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩. ⟨hal-01015138⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan. Parallel computation of echelon forms. EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩. ⟨hal-00947013⟩
  • Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Simultaneous computation of the row and column rank profiles. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩. ⟨hal-00778136⟩
  • Amrit Kumar, Jean-Louis Roch, Clément Pernet. Secured Outsourced Linear Algebra. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00926445⟩
  • Morgan Barbier, Clément Pernet, Guillaume Quintin. On the decoding of quasi-BCH codes. WCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway. ⟨hal-00768566⟩
  • Matthew T. Comer, Erich L. Kaltofen, Clement Pernet. Sparse Polynomial Interpolation and Berlekamp/Massey Algorithm That Correct Outlier Errors in Input Values. ISSAC \'12: Proceedings of the 2012 international symposium on symbolic and algebraic computation, 2012, Grenoble, France. ⟨hal-00796255⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. LinBox founding scope allocation, parallel building blocks, and separate compilation. ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩. ⟨hal-00506599⟩
  • Majid Khonji, Clement Pernet, Jean-Louis Roch, Thomas Roche, Thomas Stalinski. Output-sensitive decoding for redundant residue systems. ISSAC'10: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 2010, New York, NY, United States. pp.265―272, ⟨10.1145/1837934.1837985⟩. ⟨hal-00798446⟩
  • Martin Albrecht, Clement Pernet. Efficient Decomposition of Dense Matrices over GF(2). Proceedings of the Wokshop on Tools for Cryptanalysis, 2010, Egham, United Kingdom. ⟨hal-00798458⟩
  • Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩. ⟨hal-00163141v5⟩
  • Jean-Guillaume Dumas, Clément Pernet, B. David Saunders. On finding multiplicities of characteristic polynomial factors of black-box matrices. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩. ⟨hal-00357262v2⟩
  • Jean-Guillaume Dumas, Clément Pernet, Jean-Louis Roch. Adaptive triangular system solving. Challenges in Symbolic Computation Software, Oct 2006, Dagstuhl, Germany. pp.770. ⟨hal-00318543⟩
  • Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan. Efficient Computation of the Characteristic Polynomial. International Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147. ⟨hal-00004056v2⟩
  • Jean-Guillaume Dumas, Pascal Giorgi, Clement Pernet. FFPACK: finite field linear algebra package. International Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩. ⟨hal-02018838⟩
  • Jean-Guillaume Dumas, Thierry Gautier, Clement Pernet. Finite field linear algebra subroutines. International Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩. ⟨hal-02018841⟩

Books2 documents

  • Paul Zimmermann, Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, et al.. Computational Mathematics with SageMath. SIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩. ⟨hal-01646401⟩
  • Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, et al.. Calcul mathématique avec Sage. CreateSpace, pp.468, 2013, 9781481191043. ⟨inria-00540485v2⟩

Book sections1 document

  • Jean-Guillaume Dumas, Clément Pernet. Computational linear algebra over finite fields. Gary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786. 〈hal-00688254〉

Preprints, Working Papers, ...2 documents

  • David Lucas, Vincent Neiger, Clement Pernet, Daniel Roche, Johan Rosenkilde. Interactive Certificates for Polynomial Matrices with Sub-Linear Communication. 2018. ⟨hal-01829139⟩
  • Clément Pernet, Aude Rondepierre, Gilles Villard. Computing the Kalman form. 2006. ⟨hal-00009558v4⟩

Reports3 documents

  • Claude-Pierre Jeannerod, Théo Mary, Clement Pernet, Daniel Roche. Exploiting Fast Matrix Arithmetic in Block Low-Rank Factorizations. [Research Report] The University of Manchester. 2019, pp.1-15. ⟨hal-02008666⟩
  • Claude-Pierre Jeannerod, Clément Pernet, Arne Storjohann. Rank-profile revealing Gaussian elimination and the CUP matrix decomposition. [Research Report] 2011, pp.32. 〈hal-00655543〉
  • Martin R. Albrecht, Gregory V. Bard, Clement Pernet. Efficient Dense Gaussian Elimination over the Finite Field with Two Elements. [Research Report] 2011. ⟨hal-00796873⟩

Theses1 document

  • Clément Pernet. Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨tel-00111346⟩

Habilitation à diriger des recherches1 document

  • Clément Pernet. High Performance and Reliable Algebraic Computing. Symbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014. ⟨tel-01094212⟩