Skip to Main content Skip to Navigation

tel-00002742v2  Theses
Jean-Guillaume Dumas. Algorithmes parallèles efficaces pour le calcul formel : algèbre linéaire creuse et extensions algébriques
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2000. Français
hal-02068056v1  Conference papers
Jean-Guillaume DumasGilles Villard. Computing the Rank of Large Sparse Matrices over Finite Fields
Computer Algebra in Scientific Computing (CASC) 2002, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, Sep 2002, Yalta, Ukraine. pp.47--62
hal-02018851v1  Conference papers
Jean-Guillaume DumasB. David SaundersGilles Villard. Integer Smith form via the valence
International Symposium on Symbolic and Algebraic Computation (ISSAC'00), 2000, St. Andrews, United Kingdom. pp.95-105, ⟨10.1145/345542.345590⟩
hal-01825779v2  Conference papers
Jean-Guillaume Dumas. Proof-of-work certificates that can be efficiently computed in the cloud
The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.1-17, ⟨10.1007/978-3-319-99639-4_1⟩
hal-00259950v2  Conference papers
Jean-Guillaume DumasLaurent FousseBruno Salvy. Compressed Modular Matrix Multiplication
MICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
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-01107722v2  Conference papers
Jean-Guillaume DumasClément PernetZiad Sultan. Computing the Rank Profile Matrix
ISSAC, Steve Linton, Jul 2015, Bath, United Kingdom. pp.146--153, ⟨10.1145/2755996.2756682⟩
hal-01856375v1  Conference papers
Van-Dat CungJean-Guillaume DumasThierry GautierGuillaume HuardBruno Raffin et al.  Adaptive algorithms: theory and application
SIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, 2006, San Francisco, USA, Unknown Region. pp.49--50
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-01015138v1  Conference papers
Brice BoyerJean-Guillaume DumasPascal GiorgiClément PernetB. 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-00318555v1  Book sections
Jean-Guillaume DumasFranck LeprévostJean-Louis RochSébastien VarretteValentin Savin. Cryptographie à clef publique
T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.103-186, 2006
hal-00318553v1  Book sections
Jean-Guillaume DumasPascal BouvryRoland GillardJean-Louis RochSébastien Varrette. Cryptographie à clef secrète
T. Ebrahimi, F. Leprevost, and B. Warusfeld. Cryptographie et sécurité des systèmes et réseaux, Hermès, pp.23-102, 2006
hal-00449864v2  Conference papers
Jean-Guillaume DumasThierry GautierJean-Louis Roch. Generic design of Chinese remaindering schemes
PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
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-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-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-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-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-00947013v1  Conference papers
Jean-Guillaume DumasThierry GautierClément PernetZiad 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-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