#Matrix-Multiplication-and-Transposition-static-Library Matrix Multiplication and Transposition high-performance, portable linear algebra library using only standard libraries. Program is implemented ...

is-involution-transpose-matrix {m = zero-ℕ} empty-vec = refl is-involution-transpose-matrix {m = succ-ℕ m} (r ∷ rs) = ( ap (_∷_ r) (is-involution-transpose ...

Abstract: Sparse tensor algebra has been an important tool in scientific research. However, there is limited study on sparse tensor transposition on its performance. To the best of our knowledge, ...

In this paper, we show that the algebra of permutation group is one of the inherent structures of reversible logic for quantum computation. In this venture, we discuss necessary properties of cycle ...