External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient Interactive Proofs for Linear Algebra

Graham Cormode, Chris Hickey. Efficient Interactive Proofs for Linear Algebra. In Pinyan Lu, Guochuan Zhang, editors, 30th International Symposium on Algorithms and Computation, ISAAC 2019, December 8-11, 2019, Shanghai University of Finance and Economics, Shanghai, China. Volume 149 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Authors

Graham Cormode

This author has not been identified. Look up 'Graham Cormode' in Google

Chris Hickey

This author has not been identified. Look up 'Chris Hickey' in Google
runs on