Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
matrix [2014/03/21 11:11]
127.0.0.1 external edit
matrix [2016/09/30 15:56]
nikolaj
Line 1: Line 1:
 ===== Matrix ===== ===== Matrix =====
 ==== Set ==== ==== Set ====
-| @#55CCEE: context ​    | @#55CCEE: $X$ | +| @#55CCEE: context ​    | @#55CCEE: $X$ ... set 
 | @#55CCEE: context ​    | @#55CCEE: $n,m\in \mathbb N$ |  | @#55CCEE: context ​    | @#55CCEE: $n,m\in \mathbb N$ | 
- 
 | @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{Matrix}(n,​m,​X) $ | | @#FFBB00: definiendum | @#FFBB00: $ A\in \mathrm{Matrix}(n,​m,​X) $ |
- +| @#55EE55postulate ​  | @#55EE55$$ A\in\mathrm{FinSequence}(\mathrm{FinSequence}(X)) ​$$ |
-| @#55CCEEcontext ​    | @#55CCEE: $ 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$ |
 | @#55EE55: postulate ​  | @#55EE55: $\mathrm{length}(A_i)=m$ | | @#55EE55: postulate ​  | @#55EE55: $\mathrm{length}(A_i)=m$ |
  
-==== Discussion ​==== +----- 
-We write $A_{ij}\equiv (A_i)_j$ +=== Discussion === 
-==== Parents ====+We write  
 + 
 +$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]] 
 + 
 +-----
 === Subset of === === Subset of ===
 [[Finite sequence]] [[Finite sequence]]
  
Link to graph
Log In
Improvements of the human condition