Author:
Dumas Jean-Guillaume,Kaltofen Erich
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. Error Correction in Fast Matrix Multiplication and Inverse;Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation;2018-07-11
3. Certification of Minimal Approximant Bases;Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation;2018-07-11
4. Proof-of-Work Certificates that Can Be Efficiently Computed in the Cloud (Invited Talk);Developments in Language Theory;2018
5. Certificates for Triangular Equivalence and Rank Profiles;Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation;2017-07-23