[ 2023 ]




[ 2022 ]




[ 2021 ]


[ 19 ]
Rosenkilde, Johan and Storjohann, Arne. Algorithms for simultaneous Hermite-Padé approximations. J. Symbolic Comput., 102:279--303, 2021. [ http ]
@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}
}


[ 2020 ]




[ 2019 ]


[ 18 ]
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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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.
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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 ]
@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}
}


[ 2008 ]




[ 2007 ]




[ 2006 ]




[ 2005 ]




[ 2004 ]




[ 2003 ]




[ 2002 ]




[ 2001 ]




[ 2000 ]




[ 1999 ]




[ 1998 ]




[ 1997 ]




[ 1996 ]




[ 1995 ]




[ 1994 ]




[ 1993 ]




[ 1992 ]




[ 1991 ]




[ 1990 ]




[ 1989 ]




[ 1988 ]




[ 1987 ]




[ 1986 ]




[ 1985 ]




[ 1984 ]




[ 1983 ]




[ 1982 ]




[ 1981 ]




[ 1980 ]




[ 1979 ]