David Lucas

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 7

Top Topics

Top Venues

J. Symb. Comput.

Publications

David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
Verification protocols with sub-linear communication for polynomial matrix operations. J. Symb. Comput. 105 (2021)
Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet
Elimination-based certificates for triangular equivalence and rank profiles. J. Symb. Comput. 98 (2020)
Jean-Guillaume Dumas, Pascal Lafourcade, Julio López Fenner, David Lucas, Jean-Baptiste Orfila, Clément Pernet, Maxime Puys
Secure Multiparty Matrix Multiplication Based on Strassen-Winograd Algorithm. IWSEC (2019)
Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet
Elimination-based certificates for triangular equivalence and rank profiles. CoRR (2019)
David Lucas, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Rosenkilde
Interactive Certificates for Polynomial Matrices with Sub-Linear Communication. CoRR (2018)
Jean-Guillaume Dumas, David Lucas, Clément Pernet
Certificates for triangular equivalence and rank profiles. CoRR (2017)
Jean-Guillaume Dumas, David Lucas, Clément Pernet
Certificates for Triangular Equivalence and Rank Profiles. ISSAC (2017)