Nombre de documents

25

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>
  • Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan. Parallel computation of echelon forms. EuroPar-2014, Aug 2014, Porto, Portugal. pp.12, 2014. <hal-00947013>
  • 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. 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings South Korea, August 5-9, 2014. Proceedings, LNCS (8592), pp.654-662, 2014, <10.1007/978-3-662-44199-2_98>. <hal-01015138>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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, 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)1 document

  • 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 travail1 document

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