Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits.

Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi

Browse the full ISSAC paper archive.