High-order lifting

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2002, Pages 246-254

  Storjohann, Arne ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; MATRIX ALGEBRA; POLYNOMIALS; RANDOM PROCESSES; THEOREM PROVING;

ADIC-LIFTING TECHNIQUE; HIGH ORDER LIFTING TECHNIQUE; INTEGRALITY CERTIFICATION; RATIONAL SYSTEM SOLVING; SMITH FORM COMPUTATION; UNIVARIATE POLYNOMIALS;

LINEAR EQUATIONS;

EID: 0036042306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/780506.780538     Document Type: Conference Paper

References (13)

1. Fast deterministic computation of determinants of dense matrices
2. Exact solution of linear equations using p-adic expansions
3. Computing the Smith form of a dense integer matrix
4. Parallel algorithms for matrix normal forms
5. Computing the sign or the value of the determinant of an integer matrix, a complexity survey
6. Diophantine linear system solving
7. Certified diophantine dense linear system solving
8. On lattice reduction for polynomial matrices
9. Rational solutions of singular linear systems
10. Computing the determinant and the characteristic polynomial of a matrix via solving linear systems of equations
11. Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation