Enric RodrÃguez-Carbonell, Deepak Kapur. Automatic generation of polynomial loop. In Jaime Gutierrez, editor, Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings. pages 266-273, ACM, 2004. [doi]
@inproceedings{Rodriguez-CarbonellK04:1,
title = {Automatic generation of polynomial loop},
author = {Enric RodrÃguez-Carbonell and Deepak Kapur},
year = {2004},
doi = {10.1145/1005285.1005324},
url = {http://doi.acm.org/10.1145/1005285.1005324},
researchr = {https://researchr.org/publication/Rodriguez-CarbonellK04%3A1},
cites = {0},
citedby = {0},
pages = {266-273},
booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings},
editor = {Jaime Gutierrez},
publisher = {ACM},
isbn = {1-58113-827-X},
}