High-order lifting

Authors:
Arne Storjohann
Affiliations:
University of Waterloo, Canada
Venue:
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Year:
2002

Citing 6
Cited 13

Computing the determinant and the characteristic polynomial of a matrix via solving linear systems of equations

Information Processing Letters
Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Diophantine linear system solving

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Fast deterministic computation of determinants of dense matrices

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Rational solutions of singular linear systems

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
On computing the determinant and Smith form of an integer matrix

FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science

An output-sensitive variant of the baby steps/giant steps determinant algorithm

Proceedings of the 2002 international symposium on Symbolic and algebraic computation
On the complexity of polynomial matrix computations

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
On lattice reduction for polynomial matrices

Journal of Symbolic Computation
Computing the sign or the value of the determinant of an integer matrix, a complexity survey

Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Essentially optimal computation of the inverse of generic polynomial matrices

Journal of Complexity - Special issue: Foundations of computational mathematics 2002 workshops
Computing the rank and a small nullspace basis of a polynomial matrix

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Polynomial evaluation and interpolation on special sets of points

Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
The shifted number system for fast linear algebra on integer matrices

Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Fast computation of power series solutions of systems of differential equations

SODA '07 Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms
Polynomial evaluation and interpolation on special sets of points

Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
The shifted number system for fast linear algebra on integer matrices

Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Computing hermite forms of polynomial matrices

Proceedings of the 36th international symposium on Symbolic and algebraic computation
Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The well-known technique of adic-lifting for linear-system solution is studied. Some new methods are developed and applied to get algorithms for the following problems over the ring of univariate polynomials with coefficients from a field: rational system-solving, integrality certification and determinant/Smith-form computation. All algorithms are Las Vegas probabilistic.