Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
integer matrices
|
gptkbp:field |
linear algebra
matrix theory |
gptkbp:heldBy |
canonical form
|
https://www.w3.org/2000/01/rdf-schema#label |
Hermite normal form
|
gptkbp:namedAfter |
gptkb:Charles_Hermite
|
gptkbp:property |
unique for each integer matrix
upper triangular matrix |
gptkbp:relatedTo |
gptkb:Smith_normal_form
row echelon form |
gptkbp:supportsAlgorithm |
can be computed by Gaussian elimination with integer operations
|
gptkbp:usedFor |
integer matrix equivalence
solving systems of linear Diophantine equations |
gptkbp:bfsParent |
gptkb:Charles_Hermite
|
gptkbp:bfsLayer |
6
|