| Publication | Date of Publication | Type |
|---|
| Deterministic computation of the Frobenius form | 2026-05-08 | Paper |
| Computing a basis for an integer lattice. A special case | 2025-01-17 | Paper |
A Cubic Algorithm for Computing the Hermite Normal Form of a Nonsingular Integer Matrix
ACM Transactions on Algorithms | 2023-10-23 | Paper |
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix
Journal of Symbolic Computation | 2022-11-21 | Paper |
A Las Vegas algorithm for computing the smith form of a nonsingular integer matrix
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Algorithms for simultaneous Hermite-Padé approximations
Journal of Symbolic Computation | 2020-09-19 | Paper |
Deterministic reduction of integer nonsingular linear system solving to matrix multiplication
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
Early termination in parametric linear system solving and rational function vector recovery with error correction
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Time and space efficient generators for quasiseparable matrices
Journal of Symbolic Computation | 2017-10-10 | Paper |
Algorithms for Simultaneous Padé Approximations
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Computing the invariant structure of integer matrices: fast algorithms into practice
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Solving sparse rational linear systems
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
A relaxed algorithm for online matrix inversion
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
On the complexity of inverting integer and polynomial matrices
Computational Complexity | 2016-01-06 | Paper |
Rational solutions of singular linear systems
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Linear independence oracles and applications to rectangular and low rank linear systems
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Computing the rank and a small nullspace basis of a polynomial matrix
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
A BLAS based C library for exact linear algebra on integer matrices
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Normalization of row reduced matrices
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Computing Hermite forms of polynomial matrices
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Vector rational number reconstruction
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Computing minimal nullspace bases
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Deterministic unimodularity certification
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Nullspace computation over rational function fields for symbolic summation
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
A deterministic algorithm for inverting a polynomial matrix
Journal of Complexity | 2015-02-06 | Paper |
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
Journal of Symbolic Computation | 2014-03-03 | Paper |
Integer matrix rank certification
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Triangular \(x\)-basis decompositions and derandomization of linear algebra algorithms over \(K[x]\)
Journal of Symbolic Computation | 2012-05-04 | Paper |
| Faster algorithms for the characteristic polynomial | 2009-01-20 | Paper |
| Faster inversion and other black box matrix computations using efficient block projections | 2009-01-20 | Paper |
Certified dense linear system solving
Journal of Symbolic Computation | 2007-08-24 | Paper |
The shifted number system for fast linear algebra on integer matrices
Journal of Complexity | 2005-09-02 | Paper |
| scientific article; zbMATH DE number 2151242 (Why is no real title available?) | 2005-04-04 | Paper |
High-order lifting and integrality certification
Journal of Symbolic Computation | 2004-08-20 | Paper |
| scientific article; zbMATH DE number 2081147 (Why is no real title available?) | 2004-08-04 | Paper |
Matrix rank certification
The Electronic Journal of Linear Algebra | 2004-02-15 | Paper |
Matrix rank certification
The Electronic Journal of Linear Algebra | 2004-02-15 | Paper |
Matrix rank certification
The Electronic Journal of Linear Algebra | 2004-02-15 | Paper |
On lattice reduction for polynomial matrices
Journal of Symbolic Computation | 2003-08-19 | Paper |
Computing rational forms of integer matrices
Journal of Symbolic Computation | 2003-03-23 | Paper |
| scientific article; zbMATH DE number 1305088 (Why is no real title available?) | 2000-01-25 | Paper |
Computing Hermite and Smith normal forms of triangular integer matrices
Linear Algebra and its Applications | 1999-11-25 | Paper |
| scientific article; zbMATH DE number 1253972 (Why is no real title available?) | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1262435 (Why is no real title available?) | 1999-09-05 | Paper |
| scientific article; zbMATH DE number 1262434 (Why is no real title available?) | 1999-08-17 | Paper |
| scientific article; zbMATH DE number 1254302 (Why is no real title available?) | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1254242 (Why is no real title available?) | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1254301 (Why is no real title available?) | 1999-02-23 | Paper |
A fast Las Vegas algorithm for computing the Smith normal form of a polynomial matrix
Linear Algebra and its Applications | 1998-02-16 | Paper |
