%0 Conference Paper %1 conf/issac/DumasKVZ17 %A Dumas, Jean-Guillaume %A Kaltofen, Erich L. %A Villard, Gilles %A Zhi, Lihong %B ISSAC %D 2017 %E Burr, Michael A. %E Yap, Chee K. %E Din, Mohab Safey El %I ACM %K %P 125-132 %T Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. %U http://dblp.uni-trier.de/db/conf/issac/issac2017.html#DumasKVZ17 %@ 978-1-4503-5064-8

@inproceedings{conf/issac/DumasKVZ17, added-at = {2023-12-13T10:49:53.000+0100}, author = {Dumas, Jean-Guillaume and Kaltofen, Erich L. and Villard, Gilles and Zhi, Lihong}, biburl = {https://www.bibsonomy.org/bibtex/257e6861e52e26d7f92f9a25bcb36e62e/admin}, booktitle = {ISSAC}, crossref = {conf/issac/2017}, editor = {Burr, Michael A. and Yap, Chee K. and Din, Mohab Safey El}, ee = {https://doi.org/10.1145/3087604.3087640}, interhash = {db56422ccb28400452511aa3f096396f}, intrahash = {57e6861e52e26d7f92f9a25bcb36e62e}, isbn = {978-1-4503-5064-8}, keywords = {}, pages = {125-132}, publisher = {ACM}, timestamp = {2023-12-13T10:49:53.000+0100}, title = {Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2017.html#DumasKVZ17}, year = 2017 }