sculthorpen.github.io

Search Phrases - Google

🔍

Position	Phrase	Page	Snippet
5	vec m vec n	/neilsculthorpe/thes...	VectorMaths ... m n : ℕ } → matrix l m → matrix m n → matrix l n matmat m1 m2 = vmap (mat vec m1) m2 mat+mat : { m n : ℕ } → matrix m n → matrix m n → matrix m n mat+mat = ...
5	vec m	/neilsculthorpe/thes...	VectorMaths vector m → matrix m n → vector n vec mat v m = vmap (vdot v) vector m mat vec m v = vec *mat v (transpose m ) m2 = vmap