research
∙
09/11/2019
Elimination-based certificates for triangular equivalence and rank profiles
In this paper, we give novel certificates for triangular equivalence and...
share
research
∙
07/03/2018
Verification Protocols with Sub-Linear Communication for Polynomial Matrix Operations
We design and analyze new protocols to verify the correctness of various...
research
∙
07/03/2018
Interactive Certificates for Polynomial Matrices with Sub-Linear Communication
We develop and analyze new protocols to verify the correctness of variou...
research
∙
02/13/2017
