Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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] 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

Request Changes to record.

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:
DateEvent
24 September 2019Accepted
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:
Project/Grant IDRIOXX Funder NameFunder ID
2014-CoG 647557H2020 European Research Councilhttp://dx.doi.org/10.13039/100010663
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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us