![](/img/cover-not-exists.png)
Verification protocols with sub-linear communication for polynomial matrix operations
Lucas, David, Neiger, Vincent, Pernet, Clément, Roche, Daniel S., Rosenkilde, JohanJournal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2020.06.006
Date:
June, 2020
File:
PDF, 1.43 MB
2020