A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix

S Birmpilis, G Labahn, A Storjohann - Journal of Symbolic Computation, 2023 - Elsevier
A Las Vegas randomized algorithm is given to compute the Smith multipliers for a
nonsingular integer matrix A, that is, unimodular matrices U and V such that AV= US, with S …

Computing a basis for an integer lattice: A special case

H Li, A Storjohann - Proceedings of the 2022 International Symposium …, 2022 - dl.acm.org
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation:
Computing a Basis for an Integer Lattice: Page 1 Computing a Basis for an Integer Lattice: A …

A cubic algorithm for computing the Hermite normal form of a nonsingular integer matrix

S Birmpilis, G Labahn, A Storjohann - ACM Transactions on Algorithms, 2023 - dl.acm.org
A Las Vegas randomized algorithm is given to compute the Hermite normal form of a
nonsingular integer matrix A of dimension n. The algorithm uses quadratic integer …

Calcul incrémental des groupes d'homologie d'un objet au cours d'un processus de construction

W Rharbaoui - 2022 - theses.hal.science
En modélisation géométrique à base topologique, les objets manipulés sont subdivisés en
cellules de différentes dimensions (sommets, arêtes, faces, volumes...). Dans ce cadre, le …

A proof of the conjectured run time of the Hafner-McCurley class group algorithm

JF Biasse, MR Erukulangara - Advances in Mathematics of …, 2021 - par.nsf.gov
We present a proof under a generalization of the Riemann Hypothesis that the class group
algorithm of Hafner and McCurley runs in expected time\begin {document} $ e^{\left (3/\sqrt …

Improvements in Computational Techniques for Determining Ideal Class Groups and Class Numbers

MR Erukulangara - 2024 - search.proquest.com
The ideal class group is a fundamental concept in algebraic number theory, providing
insights into the structure and factorization properties of the ring of integers of a number field …

[图书][B] Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28–September 1, 2023, Proceedings

F Boulier, M England, I Kotsireas, TM Sadykov… - 2023 - books.google.com
One of the main goals of the International Workshops on Computer Algebra in Scientific
Computing, which started in 1998 and since then have been held annually, is the timely in …

Deciding Complete Integer Lattices via Localization

Y Cao, BS Huang - 2022 IEEE 22nd International Conference …, 2022 - ieeexplore.ieee.org
Transition to quantum-safe cryptogrpahy is being carried on to resist menace of the
developing powerful quantum computers, and lattice-based cryptosystems are among the …

Fast algorithms for computing with integer matrices: normal forms and applications

S Birmpilis - 2021 - uwspace.uwaterloo.ca
The focus of this thesis is on fundamental computational problems in exact integer linear
algebra. Specifically, for a nonsingular integer input matrix A of dimension n, we consider …

Computing a Basis for an Integer Lattice

H Li - 2022 - uwspace.uwaterloo.ca
The extended gcd problem takes as input two integers, and asks as output an integer linear
combination of the integers that are equal to their gcd. The classical extended Euclidean …