Maggie E. Myers

According to our database, Maggie E. Myers authored at least 4 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Deriving Algorithms for Triangular Tridiagonalization a (Skew-)Symmetric Matrix.

Robert A. van de Geijn, Maggie E. Myers, RuQing G. Xu, Devin Matthews

CoRR, 2023

Formal Derivation of LU Factorization with Pivoting.

Robert A. van de Geijn, Maggie E. Myers

CoRR, 2023

2022

Applying Dijkstra's Vision to Numerical Software.

Robert A. van de Geijn, Maggie E. Myers

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2017

Deriving Correct High-Performance Algorithms.

Devangi N. Parikh, Maggie E. Myers, Robert A. van de Geijn

CoRR, 2017