VLDB 2026 Research / reviewers in the wild / expert
David Lucas 0001
dblp:89/4087-1
· DBLP profile ↗
3ranked-venue papers
1as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Verification protocols with sub-linear communication for polynomial matrix operations
David Lucas 0001, Vincent Neiger, Clément Pernet, Daniel S. Roche, Johan Sebastian Rosenkilde |
J. Symb. Comput. | 1 |
| 2020 | Elimination-based certificates for triangular equivalence and rank profiles
Jean-Guillaume Dumas, Erich L. Kaltofen, David Lucas 0001, Clément Pernet |
J. Symb. Comput. | 3 |
| 2017 | Certificates for Triangular Equivalence and Rank ProfilesabstractIn this paper, we give novel certificates for triangular equivalence and rank profiles. These certificates enable to verify the row or column rank profiles or the whole rank profile matrix faster than recomputing them, with a negligible overall overhead. We first provide quadratic time and space non-interactive certificates saving the logarithmic factors of previously known ones. Then we propose interactive certificates for the same problems whose Monte Carlo verification complexity requires a small constant number of matrix-vector multiplications, a linear space, and a linear number of extra field operations. As an application we also give an interactive protocol, certifying the determinant of dense matrices, faster than the best previously known one. Jean-Guillaume Dumas, David Lucas 0001, Clément Pernet |
ISSAC | 2 |