Login / Signup

Formal derivation of algorithms: The triangular sylvester equation.

Enrique S. Quintana-OrtíRobert A. van de Geijn
Published in: ACM Trans. Math. Softw. (2003)
Keyphrases