Maggie E. Myers

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 3

Top Topics

Kronecker Product

Orders Of Magnitude

Computational Efficiency

Top Venues

Publications

Robert A. van de Geijn, Maggie E. Myers, RuQing G. Xu, Devin Matthews
Deriving Algorithms for Triangular Tridiagonalization a (Skew-)Symmetric Matrix. CoRR (2023)
Robert A. van de Geijn, Maggie E. Myers
Formal Derivation of LU Factorization with Pivoting. CoRR (2023)
Devangi N. Parikh, Maggie E. Myers, Robert A. van de Geijn
Deriving Correct High-Performance Algorithms. CoRR (2017)