Login / Signup
A fast algorithm for computing the Smith normal form with multipliers for a nonsingular integer matrix.
Stavros Birmpilis
George Labahn
Arne Storjohann
Published in:
CoRR (2021)
Keyphrases
</>
normal form
relational algebra
relational databases
database design
nested relations
data dependencies
functional dependencies
information content
boolean expressions
prime implicates
relational database theory
management system
variational inequalities
knowledge compilation
relational calculus