Pages that link to "Item:Q5244546"
From MaRDI portal
The following pages link to Deterministic unimodularity certification (Q5244546):
Displaying 4 items.
- High-order lifting and integrality certification (Q1878491) (← links)
- A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix (Q2100051) (← links)
- Deterministic Reduction of Integer Nonsingular Linear System Solving to Matrix Multiplication (Q5120475) (← links)
- Computing the determinant of a dense matrix over \(\mathbb{Z}\) (Q6637784) (← links)