Certificates for Triangular Equivalence and Rank Profiles-Reference-Cited by-同舟云学术

Certificates for Triangular Equivalence and Rank Profiles

Published:2017-07-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation
language:
Short-container-title:

Author:

Dumas Jean-Guillaume¹,Lucas David¹,Pernet Clément¹

Affiliation:

1. Université Grenoble Alpes, Grenoble, France

Funder

Horizon 2020 European Research Infrastructures project

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3087604.3087609

Reference15 articles.

1. Fast matrix rank algorithms and applications

2. Geppetto: Versatile Verifiable Computation

3. //www.jstor.org/stable/112607 Condensation of Determinants, Being a New and Brief Method for Computing their Arithmetical Values;Dodgson C. L.;Proceedings of the Royal Society of London,1866

4. Essentially optimal interactive certificates in linear algebra

5. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16

2. Verification protocols with sub-linear communication for polynomial matrix operations;Journal of Symbolic Computation;2021-07

3. Bipartite TSP in o(1.9999ⁿ) time, assuming quadratic time matrix multiplication;Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing;2020-06-06

4. Elimination-based certificates for triangular equivalence and rank profiles;Journal of Symbolic Computation;2020-05

5. LU Factorization with Errors;Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation;2019-07-08