31 citations · 64 across the 16 of their papers we have counts for
22 papers
A C implementation of the Smith massager algorithm
Ziwen Wang, Stavros Birmpilis, George Labahn +1
We describe a C implementation of the Las Vegas algorithm of Birmpilis, Labahn and Storjohann from 2020 for computing the Smith normal form of a nonsingular integer matrix. The alg…
Numerical methods for optimal decumulation of a defined contribution pension plan
Peter A. Forsyth, George Labahn
The decumulation of a defined contribution (DC) pension plan is well known to be one of the hardest problems in finance. We model this decumulation challenge as an optimal stochast…
Computing bases in Hermite normal form of lattices of integer relations
George Labahn, Arne Storjohann
Given a full column rank and an we present an algorithm to compute the basis in Hermite form of the integer lattice…
Faster real root decision algorithm for symmetric polynomials
George Labahn, Cordian Riener, Mohab Safey El Din +2
In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the a…
A cubic algorithm for computing the Hermite normal form of a nonsingular integer matrix
Stavros Birmpilis, George Labahn, Arne Storjohann
A Las Vegas randomized algorithm is given to compute the Hermite normal form of a nonsingular integer matrix of dimension . The algorithm uses quadratic integer multiplicati…
Rank-Sensitive Computation of the Rank Profile of a Polynomial Matrix
George Labahn, Vincent Neiger, Thi Xuan Vu +1
Consider a matrix of univariate polynomials over a field . We study the problem of computing the column rank profile of $\ma…