@article{DBLP:journals/corr/abs-2111-09949, author = {Stavros Birmpilis and George Labahn and Arne Storjohann}, journal = {CoRR}, title = {A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix}, url = {https://arxiv.org/abs/2111.09949}, volume = {abs/2111.09949}, year = {2021} }
@article{DBLP:journals/jsc/RosenkildeS21, author = {Johan Rosenkilde and Arne Storjohann}, doi = {10.1016/j.jsc.2019.07.026}, journal = {J. Symb. Comput.}, pages = {279--303}, title = {Algorithms for simultaneous Hermite-Pad{\'{e}} approximations}, url = {https://doi.org/10.1016/j.jsc.2019.07.026}, volume = {102}, year = {2021} }
@inproceedings{DBLP:conf/issac/BirmpilisLS19, author = {Stavros Birmpilis and George Labahn and Arne Storjohann}, booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019}, doi = {10.1145/3326229.3326263}, editor = {James H. Davenport and Dongming Wang and Manuel Kauers and Russell J. Bradford}, pages = {58--65}, publisher = {{ACM}}, title = {Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication}, url = {https://doi.org/10.1145/3326229.3326263}, year = {2019} }
@article{DBLP:journals/jsc/PernetS18, author = {Cl{\'{e}}ment Pernet and Arne Storjohann}, doi = {10.1016/j.jsc.2017.07.010}, journal = {J. Symb. Comput.}, pages = {224--246}, title = {Time and space efficient generators for quasiseparable matrices}, url = {https://doi.org/10.1016/j.jsc.2017.07.010}, volume = {85}, year = {2018} }
@inproceedings{DBLP:conf/issac/KaltofenPSW17, author = {Erich L. Kaltofen and Cl{\'{e}}ment Pernet and Arne Storjohann and Cleveland Waddell}, booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany, July 25-28, 2017}, doi = {10.1145/3087604.3087645}, editor = {Michael A. Burr and Chee K. Yap and Mohab Safey El Din}, pages = {237--244}, publisher = {{ACM}}, title = {Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction}, url = {https://doi.org/10.1145/3087604.3087645}, year = {2017} }
@inproceedings{DBLP:conf/issac/KhochtaliRS17, author = {Mohamed Khochtali and Johan Rosenkilde and Arne Storjohann}, booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany, July 25-28, 2017}, doi = {10.1145/3087604.3087650}, editor = {Michael A. Burr and Chee K. Yap and Mohab Safey El Din}, pages = {253--260}, publisher = {{ACM}}, title = {Popov Form Computation for Matrices of Ore Polynomials}, url = {https://doi.org/10.1145/3087604.3087650}, year = {2017} }
@inproceedings{DBLP:conf/srds/AflakiVBKS17, author = {Saba Aflaki and Matthias Volk and Borzoo Bonakdarpour and Joost{-}Pieter Katoen and Arne Storjohann}, booktitle = {36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017, Hong Kong, Hong Kong, September 26-29, 2017}, doi = {10.1109/SRDS.2017.22}, pages = {94--103}, publisher = {{IEEE} Computer Society}, title = {Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms}, url = {https://doi.org/10.1109/SRDS.2017.22}, year = {2017} }
@article{DBLP:journals/cca/IlieS16, author = {Silvana Ilie and Arne Storjohann}, doi = {10.1145/2930964.2930969}, journal = {{ACM} Commun. Comput. Algebra}, pages = {35--39}, title = {Abstracts of the 2015 east coast computer algebra day}, url = {https://doi.org/10.1145/2930964.2930969}, volume = {50}, year = {2016} }
@inproceedings{DBLP:conf/issac/RosenkildeS16, author = {Johan Sebastian Rosenkilde and Arne Storjohann}, booktitle = {Proceedings of the {ACM} on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2016, Waterloo, ON, Canada, July 19-22, 2016}, doi = {10.1145/2930889.2930933}, editor = {Sergei A. Abramov and Eugene V. Zima and Xiao{-}Shan Gao}, pages = {405--412}, publisher = {{ACM}}, title = {Algorithms for Simultaneous Pad{\'{e}} Approximations}, url = {https://doi.org/10.1145/2930889.2930933}, year = {2016} }
@article{DBLP:journals/cc/Storjohann15, author = {Arne Storjohann}, doi = {10.1007/s00037-015-0106-7}, journal = {Comput. Complex.}, pages = {777--821}, title = {On the complexity of inverting integer and polynomial matrices}, url = {https://doi.org/10.1007/s00037-015-0106-7}, volume = {24}, year = {2015} }
@article{DBLP:journals/jc/ZhouLS15, author = {Wei Zhou and George Labahn and Arne Storjohann}, doi = {10.1016/j.jco.2014.09.004}, journal = {J. Complex.}, pages = {162--173}, title = {A deterministic algorithm for inverting a polynomial matrix}, url = {https://doi.org/10.1016/j.jco.2014.09.004}, volume = {31}, year = {2015} }
@inproceedings{DBLP:conf/issac/StorjohannY15, author = {Arne Storjohann and Shiyun Yang}, booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July 06 - 09, 2015}, doi = {10.1145/2755996.2756672}, editor = {Kazuhiro Yokoyama and Steve Linton and Daniel Robertz}, pages = {339--346}, publisher = {{ACM}}, title = {A Relaxed Algorithm for Online Matrix Inversion}, url = {https://doi.org/10.1145/2755996.2756672}, year = {2015} }
@article{DBLP:journals/cca/StorjohannY14, author = {Arne Storjohann and Shiyun Yang}, doi = {10.1145/2733693.2733713}, journal = {{ACM} Commun. Comput. Algebra}, pages = {140--142}, title = {A Relaxed Algorithm for Online Matrix Inversion}, url = {https://doi.org/10.1145/2733693.2733713}, volume = {48}, year = {2014} }
@inproceedings{DBLP:conf/issac/StorjohannY14, author = {Arne Storjohann and Shiyun Yang}, booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC} '14, Kobe, Japan, July 23-25, 2014}, doi = {10.1145/2608628.2608673}, editor = {Katsusuke Nabeshima and Kosaku Nagasaka and Franz Winkler and {\'{A}}gnes Sz{\'{a}}nt{\'{o}}}, pages = {381--388}, publisher = {{ACM}}, title = {Linear independence oracles and applications to rectangular and low rank linear systems}, url = {https://doi.org/10.1145/2608628.2608673}, year = {2014} }
@article{DBLP:journals/jsc/JeannerodPS13, author = {Claude{-}Pierre Jeannerod and Cl{\'{e}}ment Pernet and Arne Storjohann}, doi = {10.1016/j.jsc.2013.04.004}, journal = {J. Symb. Comput.}, pages = {46--68}, title = {Rank-profile revealing Gaussian elimination and the {CUP} matrix decomposition}, url = {https://doi.org/10.1016/j.jsc.2013.04.004}, volume = {56}, year = {2013} }
@inproceedings{DBLP:conf/issac/PauderisS13, author = {Colton Pauderis and Arne Storjohann}, booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013}, doi = {10.1145/2465506.2465955}, editor = {Manuel Kauers}, pages = {307--314}, publisher = {{ACM}}, title = {Computing the invariant structure of integer matrices: fast algorithms into practice}, url = {https://doi.org/10.1145/2465506.2465955}, year = {2013} }
@article{DBLP:journals/jsc/GuptaSSV12, author = {Somit Gupta and Soumojit Sarkar and Arne Storjohann and Johnny Valeriote}, doi = {10.1016/j.jsc.2011.09.006}, journal = {J. Symb. Comput.}, pages = {422--453}, title = {Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]}, url = {https://doi.org/10.1016/j.jsc.2011.09.006}, volume = {47}, year = {2012} }
@inproceedings{DBLP:conf/issac/PauderisS12, author = {Colton Pauderis and Arne Storjohann}, booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012}, doi = {10.1145/2442829.2442870}, editor = {Joris van der Hoeven and Mark van Hoeij}, pages = {281--288}, publisher = {{ACM}}, title = {Deterministic unimodularity certification}, url = {https://doi.org/10.1145/2442829.2442870}, year = {2012} }
@inproceedings{DBLP:conf/issac/ZhouLS12, author = {Wei Zhou and George Labahn and Arne Storjohann}, booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012}, doi = {10.1145/2442829.2442881}, editor = {Joris van der Hoeven and Mark van Hoeij}, pages = {366--373}, publisher = {{ACM}}, title = {Computing minimal nullspace bases}, url = {https://doi.org/10.1145/2442829.2442881}, year = {2012} }
@inproceedings{DBLP:conf/issac/BrightS11, author = {Curtis Bright and Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings}, doi = {10.1145/1993886.1993900}, editor = {{\'{E}}ric Schost and Ioannis Z. Emiris}, pages = {51--58}, publisher = {{ACM}}, title = {Vector rational number reconstruction}, url = {https://doi.org/10.1145/1993886.1993900}, year = {2011} }
@inproceedings{DBLP:conf/issac/GuptaS11, author = {Somit Gupta and Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings}, doi = {10.1145/1993886.1993913}, editor = {{\'{E}}ric Schost and Ioannis Z. Emiris}, pages = {155--162}, publisher = {{ACM}}, title = {Computing hermite forms of polynomial matrices}, url = {https://doi.org/10.1145/1993886.1993913}, year = {2011} }
@inproceedings{DBLP:conf/issac/SarkarS11, author = {Soumojit Sarkar and Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings}, doi = {10.1145/1993886.1993931}, editor = {{\'{E}}ric Schost and Ioannis Z. Emiris}, pages = {297--304}, publisher = {{ACM}}, title = {Normalization of row reduced matrices}, url = {https://doi.org/10.1145/1993886.1993931}, year = {2011} }
@article{DBLP:journals/cca/ErocalS10, author = {Bur{\c{c}}in Er{\"{o}}cal and Arne Storjohann}, doi = {10.1145/1940475.1940489}, journal = {{ACM} Commun. Comput. Algebra}, pages = {109--110}, title = {Nullspace computation over rational function fields for symbolic summation}, url = {https://doi.org/10.1145/1940475.1940489}, volume = {44}, year = {2010} }
@inproceedings{DBLP:conf/issac/Storjohann09, author = {Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings}, doi = {10.1145/1576702.1576748}, editor = {Jeremy R. Johnson and Hyungju Park and Erich Kaltofen}, pages = {333--340}, publisher = {{ACM}}, title = {Integer matrix rank certification}, url = {https://doi.org/10.1145/1576702.1576748}, year = {2009} }
@inproceedings{DBLP:conf/issac/EberlyGGSV07, author = {Wayne Eberly and Mark Giesbrecht and Pascal Giorgi and Arne Storjohann and Gilles Villard}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings}, doi = {10.1145/1277548.1277569}, editor = {Dongming Wang}, pages = {143--150}, publisher = {{ACM}}, title = {Faster inversion and other black box matrix computations using efficient block projections}, url = {https://doi.org/10.1145/1277548.1277569}, year = {2007} }
@inproceedings{DBLP:conf/issac/PernetS07, author = {Cl{\'{e}}ment Pernet and Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings}, doi = {10.1145/1277548.1277590}, editor = {Dongming Wang}, pages = {307--314}, publisher = {{ACM}}, title = {Faster algorithms for the characteristic polynomial}, url = {https://doi.org/10.1145/1277548.1277590}, year = {2007} }
@article{DBLP:journals/corr/abs-cs-0603082, author = {Wayne Eberly and Mark Giesbrecht and Pascal Giorgi and Arne Storjohann and Gilles Villard}, journal = {CoRR}, title = {Solving Sparse Integer Linear Systems}, url = {http://arxiv.org/abs/cs/0603082}, volume = {abs/cs/0603082}, year = {2006} }
@inproceedings{DBLP:conf/dagstuhl/Storjohann06, author = {Arne Storjohann}, booktitle = {Challenges in Symbolic Computation Software, 02.07. - 07.07.2006}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen M. Watt}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, title = {Notes on computing minimal approximant bases}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/776}, volume = {06271}, year = {2006} }
@inproceedings{DBLP:conf/issac/EberlyGGSV06, author = {Wayne Eberly and Mark Giesbrecht and Pascal Giorgi and Arne Storjohann and Gilles Villard}, booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC} 2006, Genoa, Italy, July 9-12, 2006, Proceedings}, doi = {10.1145/1145768.1145785}, editor = {Barry M. Trager}, pages = {63--70}, publisher = {{ACM}}, title = {Solving sparse rational linear systems}, url = {https://doi.org/10.1145/1145768.1145785}, year = {2006} }
@article{DBLP:journals/jc/Storjohann05, author = {Arne Storjohann}, doi = {10.1016/j.jco.2005.04.002}, journal = {J. Complex.}, pages = {609--650}, title = {The shifted number system for fast linear algebra on integer matrices}, url = {https://doi.org/10.1016/j.jco.2005.04.002}, volume = {21}, year = {2005} }
@inproceedings{DBLP:conf/issac/ChenS05, author = {Zhuliang Chen and Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2005, Beijing, China, July 24-27, 2005, Proceedings}, doi = {10.1145/1073884.1073899}, editor = {Manuel Kauers}, pages = {92--99}, publisher = {{ACM}}, title = {A {BLAS} based {C} library for exact linear algebra on integer matrices}, url = {https://doi.org/10.1145/1073884.1073899}, year = {2005} }
@inproceedings{DBLP:conf/issac/StorjohannV05, author = {Arne Storjohann and Gilles Villard}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2005, Beijing, China, July 24-27, 2005, Proceedings}, doi = {10.1145/1073884.1073927}, editor = {Manuel Kauers}, pages = {309--316}, publisher = {{ACM}}, title = {Computing the rank and a small nullspace basis of a polynomial matrix}, url = {https://doi.org/10.1145/1073884.1073927}, year = {2005} }
@article{DBLP:journals/jsc/MuldersS04, author = {Thom Mulders and Arne Storjohann}, doi = {10.1016/j.jsc.2003.07.004}, journal = {J. Symb. Comput.}, pages = {485--510}, title = {Certified dense linear system solving}, url = {https://doi.org/10.1016/j.jsc.2003.07.004}, volume = {37}, year = {2004} }
@article{DBLP:journals/jsc/MuldersS03, author = {Thom Mulders and Arne Storjohann}, doi = {10.1016/S0747-7171(02)00139-6}, journal = {J. Symb. Comput.}, pages = {377--401}, title = {On lattice reduction for polynomial matrices}, url = {https://doi.org/10.1016/S0747-7171(02)00139-6}, volume = {35}, year = {2003} }
@article{DBLP:journals/jsc/Storjohann03, author = {Arne Storjohann}, doi = {10.1016/S0747-7171(03)00097-X}, journal = {J. Symb. Comput.}, pages = {613--648}, title = {High-order lifting and integrality certification}, url = {https://doi.org/10.1016/S0747-7171(03)00097-X}, volume = {36}, year = {2003} }
@inproceedings{DBLP:conf/issac/GerhardGSZ03, author = {J{\"{u}}rgen Gerhard and Mark Giesbrecht and Arne Storjohann and Eugene V. Zima}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings}, doi = {10.1145/860854.860887}, editor = {J. Rafael Sendra}, pages = {119--126}, publisher = {{ACM}}, title = {Shiftless decomposition and polynomial-time rational summation}, url = {https://doi.org/10.1145/860854.860887}, year = {2003} }
@article{DBLP:journals/jsc/GiesbrechtS02, author = {Mark Giesbrecht and Arne Storjohann}, doi = {10.1006/jsco.2002.0554}, journal = {J. Symb. Comput.}, pages = {157--172}, title = {Computing Rational Forms of Integer Matrices}, url = {https://doi.org/10.1006/jsco.2002.0554}, volume = {34}, year = {2002} }
@inproceedings{DBLP:conf/issac/Storjohann02, author = {Arne Storjohann}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, doi = {10.1145/780506.780538}, editor = {Teo Mora}, pages = {246--254}, publisher = {{ACM}}, title = {High-order lifting}, url = {https://doi.org/10.1145/780506.780538}, year = {2002} }
@inproceedings{DBLP:conf/aaecc/GiesbrechtJS01, author = {Mark Giesbrecht and Michael J. Jacobson Jr. and Arne Storjohann}, booktitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 14th International Symposium, AAECC-14, Melbourne, Australia November 26-30, 2001, Proceedings}, doi = {10.1007/3-540-45624-4_31}, editor = {Serdar Boztas and Igor E. Shparlinski}, pages = {297--307}, publisher = {Springer}, title = {Algorithms for Large Integer Matrix Problems}, url = {https://doi.org/10.1007/3-540-45624-4_31}, volume = {2227}, year = {2001} }
@inproceedings{DBLP:conf/focs/Storjohann01, author = {Arne Storjohann}, booktitle = {42nd Annual Symposium on Foundations of Computer Science, {FOCS} 2001, 14-17 October 2001, Las Vegas, Nevada, {USA}}, doi = {10.1109/SFCS.2001.959911}, pages = {368--377}, publisher = {{IEEE} Computer Society}, title = {Deterministic Computation of the Frobenius Form}, url = {https://doi.org/10.1109/SFCS.2001.959911}, year = {2001} }
@inproceedings{DBLP:conf/issac/MuldersS00, author = {Thom Mulders and Arne Storjohann}, booktitle = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10, 2000}, doi = {10.1145/345542.345644}, editor = {Carlo Traverso}, pages = {242--249}, publisher = {{ACM}}, title = {Rational solutions of singular linear systems}, url = {https://doi.org/10.1145/345542.345644}, year = {2000} }
@inproceedings{DBLP:conf/issac/MuldersS99, author = {Thom Mulders and Arne Storjohann}, booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999}, doi = {10.1145/309831.309905}, editor = {Keith O. Geddes and Bruno Salvy and Samuel S. Dooley}, pages = {181--188}, publisher = {{ACM}}, title = {Diophantine Linear System Solving}, url = {https://doi.org/10.1145/309831.309905}, year = {1999} }
@inproceedings{DBLP:conf/esa/StorjohannM98, author = {Arne Storjohann and Thom Mulders}, booktitle = {Algorithms - {ESA} '98, 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings}, doi = {10.1007/3-540-68530-8_12}, editor = {Gianfranco Bilardi and Giuseppe F. Italiano and Andrea Pietracaprina and Geppino Pucci}, pages = {139--150}, publisher = {Springer}, title = {Fast Algorithms for for Linear Algebra Modulo {N}}, url = {https://doi.org/10.1007/3-540-68530-8_12}, volume = {1461}, year = {1998} }
@inproceedings{DBLP:conf/issac/MuldersS98, author = {Thom Mulders and Arne Storjohann}, booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998}, doi = {10.1145/281508.281586}, editor = {Volker Weispfenning and Barry M. Trager}, pages = {105--112}, publisher = {{ACM}}, title = {The Modulo \emph{N} Extended {GCD} Problem for Polynomials}, url = {https://doi.org/10.1145/281508.281586}, year = {1998} }
@inproceedings{DBLP:conf/issac/Storjohann98, author = {Arne Storjohann}, booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998}, doi = {10.1145/281508.281570}, editor = {Volker Weispfenning and Barry M. Trager}, pages = {101--105}, publisher = {{ACM}}, title = {An \emph{O}(\emph{n}\({}^{\mbox{3}}\)) Algorithm for the Frobenius Normal Form}, url = {https://doi.org/10.1145/281508.281570}, year = {1998} }
@inproceedings{DBLP:conf/issac/Storjohann97, author = {Arne Storjohann}, booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '97, Maui, Hawaii, USA, July 21-23, 1997}, editor = {Bruce W. Char and Paul S. Wang and Wolfgang K{\"{u}}chlin}, pages = {109--116}, publisher = {{ACM}}, title = {A Solution to the Extended {GCD} Problem with Applications}, year = {1997} }
@inproceedings{DBLP:conf/issac/Storjohann96, author = {Arne Storjohann}, booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996}, doi = {10.1145/236869.237084}, editor = {Erwin Engeler and B. F. Caviness and Yagati N. Lakshman}, pages = {267--274}, publisher = {{ACM}}, title = {Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices}, url = {https://doi.org/10.1145/236869.237084}, year = {1996} }
@inproceedings{DBLP:conf/issac/StorjohannL96, author = {Arne Storjohann and George Labahn}, booktitle = {Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '96, Zurich, Switzerland, July 24-26, 1996}, doi = {10.1145/236869.237083}, editor = {Erwin Engeler and B. F. Caviness and Yagati N. Lakshman}, pages = {259--266}, publisher = {{ACM}}, title = {Asymptotically Fast Computation of Hermite Normal Forms of Integer Matrices}, url = {https://doi.org/10.1145/236869.237083}, year = {1996} }
@inproceedings{DBLP:conf/issac/StorjohannL95, author = {Arne Storjohann and George Labahn}, booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995}, doi = {10.1145/220346.220362}, editor = {A. H. M. Levelt}, pages = {119--125}, publisher = {{ACM}}, title = {Preconditioning of Rectangular Polynomial Matrices for Efficient Hermite Normal Form Computation}, url = {https://doi.org/10.1145/220346.220362}, year = {1995} }