%0 Conference Paper %1 conf/aisc/DivasonA18 %A Divasón, Jose %A Aransay, Jesús %B AISC %D 2018 %E Fleuriot, Jacques D. %E Wang, Dongming %E Calmet, Jacques %I Springer %K dblp %P 37-53 %T A Formal Proof of the Computation of Hermite Normal Form in a General Setting. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2018.html#DivasonA18 %V 11110 %@ 978-3-319-99957-9

@inproceedings{conf/aisc/DivasonA18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Divasón, Jose and Aransay, Jesús}, biburl = {https://www.bibsonomy.org/bibtex/2f6a14bdf394d7adda91771b78c89465d/dblp}, booktitle = {AISC}, crossref = {conf/aisc/2018}, editor = {Fleuriot, Jacques D. and Wang, Dongming and Calmet, Jacques}, ee = {https://doi.org/10.1007/978-3-319-99957-9_3}, interhash = {589557c1274e5ff53f924b186ebd6e81}, intrahash = {f6a14bdf394d7adda91771b78c89465d}, isbn = {978-3-319-99957-9}, keywords = {dblp}, pages = {37-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-20T11:43:16.000+0100}, title = {A Formal Proof of the Computation of Hermite Normal Form in a General Setting.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2018.html#DivasonA18}, volume = 11110, year = 2018 }