Publications

Publications by Arne_Storjohann

Back to list of all publications

Select publications by year:

[ 2021 ]

Rosenkilde, Johan and Storjohann, Arne. Algorithms for simultaneous Hermite-Padé approximations. J. Symbolic Comput., 102:279--303, 2021. [ http ]

BibTeX

@article{MR4131460,
 author = {Rosenkilde, Johan and Storjohann, Arne},
 doi = {10.1016/j.jsc.2019.07.026},
 journal = {J. Symbolic Comput.},
 pages = {279--303},
 title = {Algorithms for simultaneous {H}ermite-{P}ad\'{e} approximations},
 url = {https://doi.org/10.1016/j.jsc.2019.07.026},
 volume = {102},
 year = {2021}
}

Birmpilis, Stavros, Labahn, George, and Storjohann, Arne. Deterministic reduction of integer nonsingular linear system solving to matrix multiplication. In ISSAC'19---Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation, pages 58--65. ACM, New York, 2019. [ http ]

BibTeX

@inproceedings{MR4007443,
 author = {Birmpilis, Stavros and Labahn, George and Storjohann, Arne},
 booktitle = {I{SSAC}'19---{P}roceedings of the 2019 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/3326229.3326263},
 pages = {58--65},
 publisher = {ACM, New York},
 title = {Deterministic reduction of integer nonsingular linear system
solving to matrix multiplication},
 url = {https://doi.org/10.1145/3326229.3326263},
 year = {2019}
}

[ 2018 ]

[ 17 ]

Pernet, Clément and Storjohann, Arne. Time and space efficient generators for quasiseparable matrices. J. Symbolic Comput., 85:224--246, 2018. [ http ]

BibTeX

@article{MR3707859,
 author = {Pernet, Cl\'{e}ment and Storjohann, Arne},
 doi = {10.1016/j.jsc.2017.07.010},
 journal = {J. Symbolic 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}
}

[ 2017 ]

[ 16 ]

Kaltofen, Erich L., Pernet, Clément, Storjohann, Arne, and Waddell, Cleveland. Early termination in parametric linear system solving and rational function vector recovery with error correction. In ISSAC'17---Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, pages 237--244. ACM, New York, 2017. [ http ]

BibTeX

@inproceedings{MR3703692,
 author = {Kaltofen, Erich L. and Pernet, Cl\'{e}ment and Storjohann, Arne
and Waddell, Cleveland},
 booktitle = {I{SSAC}'17---{P}roceedings of the 2017 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/3087604.3087645},
 pages = {237--244},
 publisher = {ACM, New York},
 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}
}

[ 15 ]

Khochtali, Mohamed, Rosenkilde, Johan, and Storjohann, Arne. Popov form computation for matrices of Ore polynomials. In ISSAC'17---Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation, pages 253--260. ACM, New York, 2017. [ http ]

BibTeX

@inproceedings{MR3703694,
 author = {Khochtali, Mohamed and Rosenkilde, Johan and Storjohann, Arne},
 booktitle = {I{SSAC}'17---{P}roceedings of the 2017 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/3087604.3087650},
 pages = {253--260},
 publisher = {ACM, New York},
 title = {Popov form computation for matrices of {O}re polynomials},
 url = {https://doi.org/10.1145/3087604.3087650},
 year = {2017}
}

[ 2016 ]

[ 14 ]

Nielsen, Johan Rosenkilde and Storjohann, Arne. Algorithms for simultaneous Padé approximations. In Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, pages 405--412. ACM, New York, 2016. [ http ]

BibTeX

@inproceedings{MR3565741,
 author = {Nielsen, Johan Rosenkilde and Storjohann, Arne},
 booktitle = {Proceedings of the 2016 {ACM} {I}nternational {S}ymposium on
{S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2930889.2930933},
 pages = {405--412},
 publisher = {ACM, New York},
 title = {Algorithms for simultaneous {P}ad\'{e} approximations},
 url = {https://doi.org/10.1145/2930889.2930933},
 year = {2016}
}

[ 2015 ]

[ 13 ]

Zhou, Wei, Labahn, George, and Storjohann, Arne. A deterministic algorithm for inverting a polynomial matrix. J. Complexity, 31:162--173, 2015. [ http ]

BibTeX

@article{MR3305991,
 author = {Zhou, Wei and Labahn, George and Storjohann, Arne},
 doi = {10.1016/j.jco.2014.09.004},
 journal = {J. Complexity},
 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}
}

[ 12 ]

Storjohann, Arne. On the complexity of inverting integer and polynomial matrices. Comput. Complexity, 24:777--821, 2015. [ http ]

BibTeX

@article{MR3428490,
 author = {Storjohann, Arne},
 doi = {10.1007/s00037-015-0106-7},
 journal = {Comput. Complexity},
 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}
}

[ 11 ]

Storjohann, Arne and Yang, Shiyun. A relaxed algorithm for online matrix inversion. In ISSAC'15---Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation, pages 339--346. ACM, New York, 2015.

BibTeX

@inproceedings{MR3388318,
 author = {Storjohann, Arne and Yang, Shiyun},
 booktitle = {I{SSAC}'15---{P}roceedings of the 2015 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 pages = {339--346},
 publisher = {ACM, New York},
 title = {A relaxed algorithm for online matrix inversion},
 year = {2015}
}

[ 2014 ]

[ 10 ]

Storjohann, Arne and Yang, Shiyun. Linear independence oracles and applications to rectangular and low rank linear systems. In ISSAC 2014---Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pages 381--388. ACM, New York, 2014. [ http ]

BibTeX

@inproceedings{MR3239950,
 author = {Storjohann, Arne and Yang, Shiyun},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608673},
 pages = {381--388},
 publisher = {ACM, New York},
 title = {Linear independence oracles and applications to rectangular
and low rank linear systems},
 url = {https://doi.org/10.1145/2608628.2608673},
 year = {2014}
}

[ 2013 ]

[ 9 ]

Jeannerod, Claude-Pierre, Pernet, Clément, and Storjohann, Arne. Rank-profile revealing Gaussian elimination and the CUP matrix decomposition. J. Symbolic Comput., 56:46--68, 2013. [ http ]

BibTeX

@article{MR3061708,
 author = {Jeannerod, Claude-Pierre and Pernet, Cl\'{e}ment and Storjohann,
Arne},
 doi = {10.1016/j.jsc.2013.04.004},
 journal = {J. Symbolic Comput.},
 pages = {46--68},
 title = {Rank-profile revealing {G}aussian elimination and the {CUP}
matrix decomposition},
 url = {https://doi.org/10.1016/j.jsc.2013.04.004},
 volume = {56},
 year = {2013}
}

[ 8 ]

Pauderis, Colton and Storjohann, Arne. Computing the invariant structure of integer matrices: fast algorithms into practice. In ISSAC 2013---Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, pages 307--314. ACM, New York, 2013. [ http ]

BibTeX

@inproceedings{MR3206372,
 author = {Pauderis, Colton and Storjohann, Arne},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465955},
 pages = {307--314},
 publisher = {ACM, New York},
 title = {Computing the invariant structure of integer matrices: fast
algorithms into practice},
 url = {https://doi.org/10.1145/2465506.2465955},
 year = {2013}
}

[ 2012 ]

[ 7 ]

Gupta, Somit, Sarkar, Soumojit, Storjohann, Arne, and Valeriote, Johnny. Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]. J. Symbolic Comput., 47:422--453, 2012. [ http ]

BibTeX

@article{MR2890881,
 author = {Gupta, Somit and Sarkar, Soumojit and Storjohann, Arne and
Valeriote, Johnny},
 doi = {10.1016/j.jsc.2011.09.006},
 journal = {J. Symbolic 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}
}

[ 6 ]

Pauderis, Colton and Storjohann, Arne. Deterministic unimodularity certification. In ISSAC 2012---Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, pages 281--288. ACM, New York, 2012. [ http ]

BibTeX

@inproceedings{MR3206315,
 author = {Pauderis, Colton and Storjohann, Arne},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442870},
 pages = {281--288},
 publisher = {ACM, New York},
 title = {Deterministic unimodularity certification},
 url = {https://doi.org/10.1145/2442829.2442870},
 year = {2012}
}

[ 5 ]

Zhou, Wei, Labahn, George, and Storjohann, Arne. Computing minimal nullspace bases. In ISSAC 2012---Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, pages 366--373. ACM, New York, 2012. [ http ]

BibTeX

@inproceedings{MR3206326,
 author = {Zhou, Wei and Labahn, George and Storjohann, Arne},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442881},
 pages = {366--373},
 publisher = {ACM, New York},
 title = {Computing minimal nullspace bases},
 url = {https://doi.org/10.1145/2442829.2442881},
 year = {2012}
}

[ 2011 ]

[ 4 ]

Bright, Curtis and Storjohann, Arne. Vector rational number reconstruction. In ISSAC 2011---Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pages 51--57. ACM, New York, 2011. [ http ]

BibTeX

@inproceedings{MR2895194,
 author = {Bright, Curtis and Storjohann, Arne},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993900},
 pages = {51--57},
 publisher = {ACM, New York},
 title = {Vector rational number reconstruction},
 url = {https://doi.org/10.1145/1993886.1993900},
 year = {2011}
}

[ 3 ]

Gupta, Somit and Storjohann, Arne. Computing Hermite forms of polynomial matrices. In ISSAC 2011---Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pages 155--162. ACM, New York, 2011. [ http ]

BibTeX

@inproceedings{MR2895207,
 author = {Gupta, Somit and Storjohann, Arne},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993913},
 pages = {155--162},
 publisher = {ACM, New York},
 title = {Computing {H}ermite forms of polynomial matrices},
 url = {https://doi.org/10.1145/1993886.1993913},
 year = {2011}
}

[ 2 ]

Sarkar, Soumojit and Storjohann, Arne. Normalization of row reduced matrices. In ISSAC 2011---Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pages 297--303. ACM, New York, 2011. [ http ]

BibTeX

@inproceedings{MR2895225,
 author = {Sarkar, Soumojit and Storjohann, Arne},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993931},
 pages = {297--303},
 publisher = {ACM, New York},
 title = {Normalization of row reduced matrices},
 url = {https://doi.org/10.1145/1993886.1993931},
 year = {2011}
}

[ 2010 ]

[ 2009 ]

[ 1 ]

Storjohann, Arne. Integer matrix rank certification. In ISSAC 2009---Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pages 333--340. ACM, New York, 2009. [ http ]

BibTeX

@inproceedings{MR2742721,
 author = {Storjohann, Arne},
 booktitle = {I{SSAC} 2009---{P}roceedings of the 2009 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1576702.1576748},
 pages = {333--340},
 publisher = {ACM, New York},
 title = {Integer matrix rank certification},
 url = {https://doi.org/10.1145/1576702.1576748},
 year = {2009}
}