The following pages link to Formal derivation of algorithms (Q5461057):
Displaying 6 items.
- Deriving dense linear algebra libraries (Q469358) (← links)
- An iterative method to compute the sign function of a non-Hermitian matrix and its application to the overlap Dirac operator at nonzero chemical potential (Q710108) (← links)
- Recursive blocked algorithms for linear systems with Kronecker product structure (Q2189415) (← links)
- Computational Methods for Linear Matrix Equations (Q3186099) (← links)
- RECSY and SCASY Library Software: Recursive Blocked and Parallel Algorithms for Sylvester-Type Matrix Equations with Some Applications (Q3613496) (← links)
- Mathematics turned inside out: the intensive faculty versus the extensive faculty (Q5199317) (← links)