A Aralex Aachen research explorer

June 01, 2011 conference-paper

Automatic Generation of Loop-Invariants for Matrix Operations

International Conference on Computational Science and Its Applications

DOI: 10.1109/iccsa.2011.41 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 24

The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries
2022 ACM Transactions on Mathematical Software article Computer Science Parallel Computing and Optimization Techniques Open access

15

citations
Linnea
2021 ACM Transactions on Mathematical Software article Computer Science Matrix Theory and Algorithms

9

citations

2 results

References 0