Clément Pernet
Professor at Ensimag, Grenoble INP - UGA
52
Documents
cpernetResearch domains
Symbolic Computation [cs.SC]
Publications
- 26
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 3
- 4
- 5
- 2
- 3
- 3
- 3
- 2
- 1
- 4
- 6
- 1
- 1
- 4
- 2
- 1
- 3
- 1
- 2
- 1
|
|
Strassen's algorithm is not optimally accurate49th International Symposium on Symbolic and Algebraic Computation (ISSAC'24), ACM SIGSAM, Jul 2024, Raleigh, NC, United States. pp.254-263, ⟨10.1145/3666000.3669697⟩
Conference papers
hal-04441653v2
|
|
|
Computing Krylov iterates in the time of matrix multiplicationISSAC '24: International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.419-428, ⟨10.1145/3666000.3669715⟩
Conference papers
hal-04445355v2
|
|
|
VESPo: Verified Evaluation of Secret PolynomialsPrivacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland. pp.354--374, ⟨10.56553/popets-2023-0085⟩
Conference papers
hal-03365854v5
|
|
|
Exact computations with quasiseparable matricesISSAC'23: the 2023 International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromso, Norway. pp.480-489, ⟨10.1145/3597066.3597102⟩
Conference papers
hal-03978799v1
|
|
|
Dynamic proofs of retrievability with low server storage30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.537--554, ⟨10.48550/arXiv.2007.12556⟩
Conference papers
hal-02875379v4
|
Hermite Interpolation With Error CorrectionISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Virtual Event, Russia. pp.241-247, ⟨10.1145/3452143.3465525⟩
Conference papers
hal-03350894v1
|
|
|
|
Computing the Characteristic Polynomial of Generic Toeplitz-like and Hankel-like MatricesISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.249-256, ⟨10.1145/3452143.3465542⟩
Conference papers
hal-03189115v1
|
|
|
On fast multiplication of a matrix by its transposeProceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩
Conference papers
hal-02432390v4
|
|
|
LU factorization with errorsInternational Symposium on Symbolic and Algebraic Computation - ISSAC'19, Jul 2019, Beijing, China. pp.131-138, ⟨10.1145/3326229.3326244⟩
Conference papers
hal-01997592v1
|
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd AlgorithmThe 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩
Conference papers
hal-01781554v3
|
|
|
Symmetric indefinite triangular factorization revealing the rank profile matrixISSAC'18, Jul 2018, New York, United States. pp.151-158, ⟨10.1145/3208976.3209019⟩
Conference papers
hal-01704793v1
|
Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error CorrectionISSAC'17 - 2017 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ⟨10.1145/3087604.3087645⟩
Conference papers
hal-01982114v1
|
|
|
|
Certificates for triangular equivalence and rank profilesACM International Symposium on Symbolic and Algebraic Computations - ISSAC'17, Jul 2017, Kaiserslautern, Germany. pp.133-140, ⟨10.1145/3087604.3087609⟩
Conference papers
hal-01466093v2
|
|
|
Computing with quasiseparable matricesInternational Symposium on Symbolic and Algebraic Computation (ISSAC'16), Jul 2016, Waterloo, Canada. pp.389-396, ⟨10.1145/2930889.2930915⟩
Conference papers
hal-01264131v2
|
|
|
Computing the Rank Profile MatrixISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩
Conference papers
hal-01107722v2
|
Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distanceISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩
Conference papers
hal-01068308v1
|
|
|
|
Elements of Design for Containers and Solutions in the LinBox LibraryICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩
Conference papers
hal-01015138v1
|
|
|
Parallel computation of echelon formsEuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. pp.499-510, ⟨10.1007/978-3-319-09873-9_42⟩
Conference papers
hal-00947013v1
|
|
|
On the decoding of quasi-BCH codesWCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway
Conference papers
hal-00768566v1
|
|
|
Secured Outsourced Linear AlgebraSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Conference papers
hal-00926445v1
|
|
|
Simultaneous computation of the row and column rank profilesISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, MA, United States. pp.181-188, ⟨10.1145/2465506.2465517⟩
Conference papers
hal-00778136v1
|
Sparse Polynomial Interpolation and Berlekamp/Massey Algorithm That Correct Outlier Errors in Input ValuesISSAC \'12: Proceedings of the 2012 international symposium on symbolic and algebraic computation, 2012, Grenoble, France
Conference papers
hal-00796255v1
|
|
|
|
LinBox founding scope allocation, parallel building blocks, and separate compilationICMS 2010 - 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp.77-83, ⟨10.1007/978-3-642-15582-6_16⟩
Conference papers
hal-00506599v1
|
Output-sensitive decoding for redundant residue systemsISSAC'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⟩
Conference papers
hal-00798446v1
|
|
Efficient Decomposition of Dense Matrices over GF(2)Proceedings of the Wokshop on Tools for Cryptanalysis, 2010, Egham, United Kingdom
Conference papers
hal-00798458v1
|
|
|
|
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithmISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.55-62, ⟨10.1145/1576702.1576713⟩
Conference papers
hal-00163141v5
|
|
|
On finding multiplicities of characteristic polynomial factors of black-box matricesISSAC 2009 - International Symposium on Symbolic and Algebraic Computation, Jul 2009, Séoul, South Korea. pp.135-142, ⟨10.1145/1576702.1576723⟩
Conference papers
hal-00357262v2
|
|
|
Adaptive triangular system solvingChallenges in Symbolic Computation Software - Dagstuhl Seminar 06271, Jul 2006, Dagstuhl, Germany. pp.770
Conference papers
hal-00318543v1
|
|
|
Efficient Computation of the Characteristic PolynomialInternational Symposium on Symbolic and Algebraic Computation (ISSAC'15), Jul 2005, Beijing, China. pp.140-147
Conference papers
hal-00004056v2
|
FFPACK: finite field linear algebra packageInternational Symposium on Symbolic and Algebraic Computation (ISSAC'04), Jul 2004, Santander, Spain. pp.119-126, ⟨10.1145/1005285.1005304⟩
Conference papers
hal-02018838v1
|
|
Finite field linear algebra subroutinesInternational Symposium on Symbolic and Algebraic Computation (ISSAC'02), Jul 2002, Lille, France. pp.63-74, ⟨10.1145/780506.780515⟩
Conference papers
hal-02018841v1
|
Computational Mathematics with SageMathSIAM, 2018, 978-1-61197-545-1. ⟨10.1137/1.9781611975468⟩
Books
hal-01646401v1
|
|
|
|
Calcul mathématique avec SageCreateSpace, pp.468, 2013, 9781481191043
Books
inria-00540485v2
|
|
|
Computational linear algebra over finite fieldsGary L. Mullen and Daniel Panario. Handbook of Finite Fields, Chapman & Hall / CRC, pp.514-528, 2013, Discrete Mathematics and Its Applications, 9781439873786
Book sections
hal-00688254v1
|
|
|
Leading constants of rank deficient Gaussian elimination2023
Preprints, Working Papers, ...
hal-03976168v1
|
|
|
Computing the Kalman form2006
Preprints, Working Papers, ...
hal-00009558v4
|
Efficient Dense Gaussian Elimination over the Finite Field with Two Elements[Research Report] 2011
Reports
hal-00796873v1
|
|
|
|
FFPACK: Finite field linear algebra package[Research Report] LIP RR-2004-2, Laboratoire de l'informatique du parallélisme. 2004, 2+17p
Reports
hal-02101818v1
|
|
|
Algèbre linéaire exacte efficace : le calcul du polynôme caractéristiqueGénie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨NNT : ⟩
Theses
tel-00111346v1
|
|
|
High Performance and Reliable Algebraic ComputingSymbolic Computation [cs.SC]. Université Joseph Fourier, Grenoble 1, 2014
Habilitation à diriger des recherches
tel-01094212v1
|