The Library
Efficient interactive proofs for linear algebra
Tools
Tools
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)
![[img]](http://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
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 |
