Pages that link to "Item:Q5641964"
From MaRDI portal
The following pages link to Algorithms for Hermite and Smith Normal Matrices and Linear Diophantine Equations (Q5641964):
Displaying 17 items.
- An application of the Hermite normal form in integer programming (Q757241) (← links)
- Integer extended ABS algorithms and possible control of intermediate results for linear Diophantine systems (Q1040730) (← links)
- Solving systems of linear equations over polynomials (Q1082773) (← links)
- Aggregation of equations in integer programming (Q1214343) (← links)
- A local approach to matrix equivalence (Q1249626) (← links)
- A compound matrix algorithm for the computation of the Smith form of a polynomial matrix (Q1334229) (← links)
- The determination of canonical forms for lattice quadrature rules (Q1899974) (← links)
- A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix (Q2100051) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- Satisfiability with index dependency (Q2637283) (← links)
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form (Q2674009) (← links)
- On Robot Games of Degree Two (Q2799175) (← links)
- Minkowski Reduction of Integral Matrices (Q4179126) (← links)
- A Generalized Sampling Theorem for Locally Compact Abelian Groups (Q4305965) (← links)
- ON A KIND OF NONLINEAR DIOPHANTINE EQUATION (Q5229599) (← links)
- Generation of all integer points for given sets of linear inequalities (Q5668606) (← links)
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Q6108811) (← links)
