Efficient Interactive Proofs for Linear Algebra

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Graham Cormode, Chris Hickey

Journal title: 30th International Symposium on Algorithms and Computation (ISAAC 2019)

Journal publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Published year: 2019

Published pages: 48:1--48:19

DOI identifier: 10.4230/lipics.isaac.2019.48