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.    2019-09-24. .   

Online access not found

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