Deterministic unimodularity certification

DOI10.1145/2442829.2442870MaRDI QIDQ5244546zbMATH OpenOpenAlexFDO

Authors Colton Pauderis, Arne Storjohann

Publication date 27 March 2015

Published in Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2442829.2442870

zbMATH Keywords

integer matrixunimodular matrix

Mathematics Subject Classification ID

Matrices of integers (15B36) Numerical linear algebra (65F99) Complexity and performance of numerical algorithms (65Y20)

Recommendations

• Uniform Proof Complexity
• Unimodularity unified
• Optimal Proofs of Determinacy
• Certified approximate univariate GCDs
• Determinacy and unipotency
• Certification of nontermination proofs
• Decidable unary varieties
• Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL
• scientific article; zbMATH DE number 4189690
• On the Amount of Nondeterminism and the Power of Verifying

Cited in

(7)

• High-order lifting and integrality certification
• A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix
• scientific article; zbMATH DE number 2151242 (Why is no real title available?)
• Deterministic reduction of integer nonsingular linear system solving to matrix multiplication
• On the probability of generating a primitive matrix
• Computing the determinant of a dense matrix over \(\mathbb{Z}\)
• Optimal fine-grained hardness of approximation of linear equations

Describes a project that uses

Uses Software

• ATLAS
• gmp

This page was built for publication: Deterministic unimodularity certification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244546)