Skip to Main content Skip to Navigation


hal-00796255v1  Conference papers
Matthew T. ComerErich L. KaltofenClément 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-00018223v4  Journal articles
Jean-Guillaume DumasPascal GiorgiClément Pernet. Dense Linear Algebra over Word-Size Prime Fields: the FFLAS and FFPACK packages
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2008, 35 (3), pp.19:1-42. ⟨10.1145/1391989.1391992⟩
hal-00798458v1  Conference papers
Martin AlbrechtClément Pernet. Efficient Decomposition of Dense Matrices over GF(2)
Proceedings of the Wokshop on Tools for Cryptanalysis, 2010, Egham, United Kingdom
hal-00798442v1  Journal articles
Clément PernetWilliam Stein. Fast computation of Hermite normal forms of random integer matrices
Journal of Number Theory, Elsevier, 2010, 130 (7), pp.1675―1683. ⟨10.1016/j.jnt.2010.01.017⟩
...
hal-00778136v1  Conference papers
Jean-Guillaume DumasClément PernetZiad 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-00926445v1  Conference papers
Amrit KumarJean-Louis RochClément Pernet. Secured Outsourced Linear Algebra
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
...
hal-00357262v2  Conference papers
Jean-Guillaume DumasClément PernetB. 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-01068308v1  Conference papers
Erich L. KaltofenClé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-00688254v1  Book sections
Jean-Guillaume DumasClé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-00798446v1  Conference papers
Majid KhonjiClément PernetJean-Louis RochThomas RocheThomas 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-00768566v1  Conference papers
Morgan BarbierClément PernetGuillaume Quintin. On the decoding of quasi-BCH codes
WCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway
...
hal-00163141v5  Conference papers
Brice BoyerJean-Guillaume DumasClément PernetWei 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-02008666v4  Journal articles
Claude-Pierre JeannerodThéo MaryClément PernetDaniel Roche. Improving the Complexity of Block Low-Rank Factorizations with Fast Matrix Arithmetic
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (4), pp.1478-1496. ⟨10.1137/19M1255628⟩
...
hal-01424252v2  Journal articles
Clément PernetArne Storjohann. Time and space efficient generators for quasiseparable matrices
Journal of Symbolic Computation, Elsevier, 2018, Special issue on the 41th International Symposium on Symbolic and Alge-braic Computation (ISSAC’16), 85, pp.224-246. ⟨10.1016/j.jsc.2017.07.010⟩
...
hal-01264131v2  Conference papers
Clément 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-01466093v2  Conference papers
Jean-Guillaume DumasDavid LucasClément 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-01982114v1  Conference papers
Erich KaltofenClément PernetArne StorjohannCleveland 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-01251223v2  Journal articles
Jean-Guillaume DumasClément PernetZiad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition
Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. ⟨10.1016/j.jsc.2016.11.011⟩
hal-02018841v1  Conference papers
Jean-Guillaume DumasThierry GautierClément 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-00318543v1  Conference papers
Jean-Guillaume DumasClément PernetJean-Louis Roch. Adaptive triangular system solving
Challenges in Symbolic Computation Software, Oct 2006, Dagstuhl, Germany. pp.770