
The Library
Efficient interactive proofs for linear algebra
Tools
Hickey, Christopher J. A. and Cormode, Graham (2019) Efficient interactive proofs for linear algebra. In: ISAAC 2019: The 30th International Symposium on Algorithms and Computation, Shanghai, China, 8-11 Dec 2019. Published in: Proceedings of International Symposium on Algorithms and Computation (ISAAC), 2019 doi:10.4230/LIPIcs.ISAAC.2019.51 (In Press)
![]() |
PDF
WRAP-Efficient-interactive-linear-algebra-Cormode-2019.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (1223Kb) |
Official URL: https://doi.org/10.4230/LIPIcs.ISAAC.2019.51
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Divisions: | Faculty of Science > Computer Science | ||||||
Journal or Publication Title: | Proceedings of International Symposium on Algorithms and Computation (ISAAC), 2019 | ||||||
Publisher: | Leibniz International Proceedings in Informatics (LIPIcs) series | ||||||
Official Date: | 24 September 2019 | ||||||
Dates: |
|
||||||
Date of first compliant deposit: | 25 October 2019 | ||||||
DOI: | 10.4230/LIPIcs.ISAAC.2019.51 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | In Press | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
RIOXX Funder/Project Grant: |
|
||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | ISAAC 2019: The 30th International Symposium on Algorithms and Computation | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Shanghai, China | ||||||
Date(s) of Event: | 8-11 Dec 2019 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |