Nombre de documents

31

Publications de Clément Pernet


Article dans une revue4 documents

Communication dans un congrès14 documents

  • 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〉
  • Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library. Hoon Hong; Chee Yap. ICMS - 4th International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. Springer, Lecture Notes in Computer Science, 8592, pp.654-662, 2014, Mathematical Software – ICMS 2014. 〈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. Springer, 8632, pp.499-510, 2014, Lecture Notes in Computer Science. 〈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. Manuel Kauers. ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. ACM, pp.181-188, 2013, 〈10.1145/2465506.2465517〉. 〈hal-00778136〉
  • Amrit Kumar, Jean-Louis Roch, Clément Pernet. Secured Outsourced Linear Algebra. Marc-Olivier Killijian. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC, 2013. 〈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. 2013. 〈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. 2012. 〈hal-00796255〉
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders. LinBox founding scope allocation, parallel building blocks, and separate compilation. Komei Fukuda, Joris van der Hoeven, and Michael Joswig. ICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, pp.77-83, 2010, Lecture Notes in Computer Science. 〈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. ACM, pp.265―272, 2010, 〈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. 2010. 〈hal-00798458〉
  • Brice Boyer, Jean-Guillaume Dumas, Clément Pernet, Wei Zhou. Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm. Jeremy Johnson, Hyungju Park, Erich Kaltofen. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. ACM, pp.55-62, 2009, 〈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. Jeremy Johnson, Hyungju Park, Erich Kaltofen. ISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. ACM, pp.135-142, 2009, 〈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, 2006. 〈hal-00318543〉
  • Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan. Efficient Computation of the Characteristic Polynomial. Manuel Kauers. 2005, ACM Press., pp.140-147, 2005. 〈hal-00004056v2〉

Ouvrage (y compris édition critique et traduction)2 documents

  • Alexandre Casamayou, Nathann Cohen, Guillaume Connan, Thierry Dumont, Laurent Fousse, et al.. Mathematical Computation with SageMath (temporary title). published by the authors, In press. 〈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〉

Chapitre d'ouvrage1 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〉

Pré-publication, Document de travail6 documents

  • Jean-Guillaume Dumas, Clement Pernet. Symmetric indefinite triangular factorization revealing the rank profile matrix. 2018. 〈hal-01704793〉
  • Jean-Guillaume Dumas, Pascal Lafourcade, Julio Fenner, David Lucas, Jean-Baptiste Orfila, et al.. Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd Algorithm. 2018. 〈hal-01781554〉
  • David Lucas, Vincent Neiger, Clement Pernet, Daniel Roche, Johan Rosenkilde. Interactive Certificates for Polynomial Matrices with Sub-Linear Communication. 2018. 〈hal-01829139〉
  • Jean-Guillaume Dumas, David Lucas, Clement Pernet. Certificates for triangular equivalence and rank profiles. 2017. 〈hal-01466093〉
  • Clement Pernet, Arne Storjohann. Time and space efficient generators for quasiseparable matrices. 2017. 〈hal-01424252〉
  • Clément Pernet, Aude Rondepierre, Gilles Villard. Computing the Kalman form. 10 pages. 2006. 〈hal-00009558v4〉

Rapport2 documents

  • 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〉

Thèse1 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〉

HDR1 document

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