Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
matrix [2015/10/18 17:54] nikolaj |
matrix [2016/09/30 15:56] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#55CCEE: context | @#55CCEE: $X$ ... set | | | @#55CCEE: context | @#55CCEE: $X$ ... set | | ||
| @#55CCEE: context | @#55CCEE: $n,m\in \mathbb N$ | | | @#55CCEE: context | @#55CCEE: $n,m\in \mathbb N$ | | ||
- | | @#55CCEE: context | @#55CCEE: $ A\in\mathrm{FinSequence}(\mathrm{FinSequence}(X)) $ | | ||
| @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{Matrix}(n,m,X) $ | | | @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{Matrix}(n,m,X) $ | | ||
+ | | @#55EE55: postulate | @#55EE55: $$ A\in\mathrm{FinSequence}(\mathrm{FinSequence}(X)) $$ | | ||
| @#DDDDDD: range | @#DDDDDD: $ 1\ge i\ge m$ | | | @#DDDDDD: range | @#DDDDDD: $ 1\ge i\ge m$ | | ||
| @#55EE55: postulate | @#55EE55: $\mathrm{length}(A)=n$ | | | @#55EE55: postulate | @#55EE55: $\mathrm{length}(A)=n$ | | ||
Line 14: | Line 14: | ||
$A_{ij}\equiv (A_i)_j$ | $A_{ij}\equiv (A_i)_j$ | ||
+ | |||
+ | === Reference === | ||
+ | Wikipedia: | ||
+ | [[https://en.wikipedia.org/wiki/Matrix_(mathematics)|Matrix_(mathematics)]] | ||
+ | |||
+ | Mathematica: | ||
+ | [[https://reference.wolfram.com/language/guide/MatrixOperations.html|MatrixOperations]] | ||
+ | |||
+ | Idris: | ||
+ | [[https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Data/Matrix.idr|contrib/Data/Matrix.idr]] | ||
+ | |||
+ | Haskell: | ||
+ | [[https://hackage.haskell.org/package/matrix-0.3.5.0/docs/Data-Matrix.html | package/matrix-0.3.5.0/docs/Data-Matrix.html]] | ||
----- | ----- |