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:
J. Symb. Comput. (2023)
Keyphrases
</>
normal form
functional dependencies
database design
relational algebra
nested relations
relational databases
data dependencies
information content
disjunctive normal form
relational database theory
data model
null values
binary matrix
expressive power
decision variables