Essentially optimal interactive certificates in linear algebra
Work
Year: 2014
Type: preprint
Abstract: Certificates to a linear algebra computation are additional data structures for each output, which can be used by a---possibly randomized---verification algorithm that proves the correctness of each o... more
Authors Jean‐Guillaume Dumas, Erich Kaltofen
Cites: 28
Cited by: 16
Related to: 10
Citation percentile (by year/subfield): 91.69
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green