@article{DBLP:journals/corr/abs-2605-07784,
author = {George Labahn and
Arne Storjohann},
doi = {10.48550/arXiv.2605.07784},
journal = {CoRR},
title = {Computing bases in Hermite normal form of lattices of integer relations},
url = {https://doi.org/10.48550/arXiv.2605.07784},
volume = {abs/2605.07784},
year = {2026}
}
@article{DBLP:journals/corr/abs-2605-19254,
author = {Ziwen Wang and
Stavros Birmpilis and
George Labahn and
Arne Storjohann},
doi = {10.48550/arXiv.2605.19254},
journal = {CoRR},
title = {A C implementation of the Smith massager algorithm},
url = {https://doi.org/10.48550/arXiv.2605.19254},
volume = {abs/2605.19254},
year = {2026}
}
@article{DBLP:journals/jsc/BirmpilisLS23,
author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
doi = {10.1016/j.jsc.2022.09.002},
journal = {J. Symb. Comput.},
pages = {146--182},
title = {A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix},
url = {https://doi.org/10.1016/j.jsc.2022.09.002},
volume = {116},
year = {2023}
}
@article{DBLP:journals/talg/BirmpilisLS23,
author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
doi = {10.1145/3617996},
journal = {ACM Trans. Algorithms},
pages = {37:1--37:36},
title = {A Cubic Algorithm for Computing the Hermite Normal Form of a Nonsingular Integer Matrix},
url = {https://doi.org/10.1145/3617996},
volume = {19},
year = {2023}
}
@article{DBLP:journals/corr/abs-2209-10685,
author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
doi = {10.48550/arXiv.2209.10685},
journal = {CoRR},
title = {A cubic algorithm for computing the Hermite normal form of a nonsingular integer matrix},
url = {https://doi.org/10.48550/arXiv.2209.10685},
volume = {abs/2209.10685},
year = {2022}
}
@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},
doi = {10.48550/arXiv.2111.09949},
journal = {CoRR},
title = {A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix},
url = {https://doi.org/10.48550/arXiv.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/BirmpilisLS20,
author = {Stavros Birmpilis and
George Labahn and
Arne Storjohann},
booktitle = {ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020},
doi = {10.1145/3373207.3404022},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
pages = {38--45},
publisher = {ACM},
title = {A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix},
url = {https://doi.org/10.1145/3373207.3404022},
year = {2020}
}
@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}
}
@article{DBLP:journals/corr/PernetS17,
author = {Cl{\'{e}}ment Pernet and
Arne Storjohann},
doi = {10.48550/arXiv.1701.00396},
journal = {CoRR},
title = {Time and space efficient generators for quasiseparable matrices},
url = {https://doi.org/10.48550/arXiv.1701.00396},
volume = {abs/1701.00396},
year = {2017}
}
@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}
}
@article{DBLP:journals/corr/NielsenS16,
author = {Johan Sebastian Rosenkilde Nielsen and
Arne Storjohann},
doi = {10.48550/arXiv.1602.00836},
journal = {CoRR},
title = {Algorithms for Simultaneous Pad{\'{e}} Approximations},
url = {https://doi.org/10.48550/arXiv.1602.00836},
volume = {abs/1602.00836},
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}
}
@article{DBLP:journals/corr/abs-1112-5717,
author = {Claude-Pierre Jeannerod and
Cl{\'{e}}ment Pernet and
Arne Storjohann},
doi = {10.48550/arXiv.1112.5717},
journal = {CoRR},
title = {Rank-profile revealing Gaussian elimination and the CUP matrix decomposition},
url = {https://doi.org/10.48550/arXiv.1112.5717},
volume = {abs/1112.5717},
year = {2011}
}
@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 L. Kaltofen},
pages = {333--340},
publisher = {ACM},
title = {Integer matrix rank certification},
url = {https://doi.org/10.1145/1576702.1576748},
year = {2009}
}
@article{DBLP:journals/corr/abs-cs-0701188,
author = {Wayne Eberly and
Mark Giesbrecht and
Pascal Giorgi and
Arne Storjohann and
Gilles Villard},
doi = {10.48550/arXiv.cs/0701188},
journal = {CoRR},
title = {Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections},
url = {https://doi.org/10.48550/arXiv.cs/0701188},
volume = {abs/cs/0701188},
year = {2007}
}
@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},
doi = {10.48550/arXiv.cs/0603082},
journal = {CoRR},
title = {Solving Sparse Integer Linear Systems},
url = {https://doi.org/10.48550/arXiv.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 L. 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/corr/abs-cs-0505030,
author = {Arne Storjohann and
Gilles Villard},
doi = {10.48550/arXiv.cs/0505030},
journal = {CoRR},
title = {Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix},
url = {https://doi.org/10.48550/arXiv.cs/0505030},
volume = {abs/cs/0505030},
year = {2005}
}
@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{zbMATH2042868,
author = {Saunders, B. David and Storjohann, Arne and Villard, Gilles},
doi = {10.13001/1081-3810.1118},
journal = {ELA. The Electronic Journal of Linear Algebra},
pages = {16--23},
title = {Matrix rank certification},
url = {https://doi.org/10.13001/1081-3810.1118},
volume = {11},
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, Las Vegas, Nevada, USA, October 14-17, 2001},
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}
}
@article{zbMATH1370154,
author = {Storjohann, Arne},
doi = {10.1016/S0024-3795(98)10012-5},
journal = {Linear Algebra and its Applications},
pages = {25--45},
title = {Computing Hermite and Smith normal forms of triangular integer matrices},
url = {https://doi.org/10.1016/S0024-3795(98)10012-5},
volume = {282},
year = {1998}
}
@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 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 O(n3) Algorithm for the Frobenius Normal Form},
url = {https://doi.org/10.1145/281508.281570},
year = {1998}
}
@article{zbMATH994638,
author = {Storjohann, Arne and Labahn, George},
doi = {10.1016/0024-3795(95)00743-1},
journal = {Linear Algebra and its Applications},
pages = {155--173},
title = {A fast Las Vegas algorithm for computing the Smith normal form of a polynomial matrix},
url = {https://doi.org/10.1016/0024-3795(95)00743-1},
volume = {253},
year = {1997}
}
@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
Bob 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
Bob 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}
}