The University of Warwick Library - WebBridge

Efficient interactive proofs for linear algebra
Hickey, Christopher J. A..  ISAAC 2019: The 30th International Symposium on Algorithms and Computation.  v. 149.   2019-09-24. p. 48:1 - 48:19... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.