Erich Kaltofen, Michael Nehring, B. David Saunders. Quadratic-time certificates in linear algebra. In Éric Schost, Ioannis Z. Emiris, editors, Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings. pages 171-176, ACM, 2011. [doi]
@inproceedings{KaltofenNS11,
title = {Quadratic-time certificates in linear algebra},
author = {Erich Kaltofen and Michael Nehring and B. David Saunders},
year = {2011},
doi = {10.1145/1993886.1993915},
url = {http://doi.acm.org/10.1145/1993886.1993915},
tags = {certification, algebra},
researchr = {https://researchr.org/publication/KaltofenNS11},
cites = {0},
citedby = {0},
pages = {171-176},
booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings},
editor = {Éric Schost and Ioannis Z. Emiris},
publisher = {ACM},
isbn = {978-1-4503-0675-1},
}