Efficient interactive proofs for linear algebra

DOI10.4230/LIPICS.ISAAC.2019.48MaRDI QIDQ5875612zbMATH OpenOpenAlexFDO

Authors Graham Cormode, Chris Hickey

Publication date 3 February 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2019/11544/pdf/LIPIcs-ISAAC-2019-48.pdf/

zbMATH Keywords

linear algebrastreaming interactive proofs

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx)

This page was built for publication: Efficient interactive proofs for linear algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875612)