@inproceedings{DBLP:conf/issac/LiS22,
 author = {Haomin Li and
Arne Storjohann},
 booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3536184},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {303--310},
 publisher = {{ACM}},
 title = {Computing a Basis for an Integer Lattice: {A} Special Case},
 url = {https://doi.org/10.1145/3476446.3536184},
 year = {2022}
}

@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} 1997, Maui, Hawaii, USA, July 21-23, 1997},
 doi = {10.1145/258726.258762},
 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},
 url = {https://doi.org/10.1145/258726.258762},
 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}
}