The Proof Complexity of Linear Algebra. Soltys, M. & Cook, S. A. In Proceedings of Logic in Computer Science (LICS), pages 335-344, 2002. ![The Proof Complexity of Linear Algebra [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp3504447,
title = {The Proof Complexity of Linear Algebra},
author = {Michael Soltys and Stephen A. Cook},
author_short = {Soltys, M. and Cook, S. A.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2002},
key = {dblp3504447},
id = {dblp3504447},
biburl = {http://www.dblp.org/rec/bibtex/conf/lics/SoltysC02},
url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029841},
conference = {LICS},
pages = {335-344},
text = {LICS 2002:335-344},
booktitle = {Proceedings of Logic in Computer Science (LICS)}
}
Downloads: 0
{"_id":{"_str":"53ecdb0b361ffffd45001e4a"},"__v":0,"authorIDs":[],"author_short":["Soltys, M.","Cook, S. A."],"bibbaseid":"soltys-cook-theproofcomplexityoflinearalgebra-2002","bibdata":{"downloads":0,"urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029841"},"role":"author","bibbaseid":"soltys-cook-theproofcomplexityoflinearalgebra-2002","bibtex":"@inproceedings{ dblp3504447,\n title = {The Proof Complexity of Linear Algebra},\n author = {Michael Soltys and Stephen A. Cook},\n author_short = {Soltys, M. and Cook, S. A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp3504447},\n id = {dblp3504447},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lics/SoltysC02},\n url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029841},\n conference = {LICS},\n pages = {335-344},\n text = {LICS 2002:335-344},\n booktitle = {Proceedings of Logic in Computer Science (LICS)}\n}","booktitle":"Proceedings of Logic in Computer Science (LICS)","text":"LICS 2002:335-344","pages":"335-344","conference":"LICS","url":"http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029841","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/SoltysC02","id":"dblp3504447","key":"dblp3504447","year":"2002","type":"inproceedings","bibtype":"inproceedings","author_short":["Soltys, M.","Cook, S. A."],"author":["Michael Soltys","Stephen A. Cook"],"title":"The Proof Complexity of Linear Algebra"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lics/SoltysC02","creationDate":"2014-08-14T15:51:39.263Z","downloads":0,"keywords":[],"search_terms":["proof","complexity","linear","algebra","soltys","cook"],"title":"The Proof Complexity of Linear Algebra","year":2002,"dataSources":["CEa9B4hYgGQPQttfd"]}