Enrique S. Quintana-Ortí, Robert A. van de Geijn  Home/Search
Context Related
| utexas.edu/ftp/pub/techr...tr0135.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/ftp/pub/techreports... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we apply a formal approach for the derivation of dense linear algebra algorithms to the triangular Sylvester equation. The result is a large family of provably correct algorithms. By using a coding style that reects the algorithms as they are naturally presented, the correctness of the algorithms carries through to the correctness of the implementations. Analytically motivated heuristics are used to subsequently choose members from the family that can be expected to yield high... (Update)
Context of citations to this paper: More
...techniques in that paper was the LU factorization. We showed that the method applies to more complex operations in the second paper [21]. In that paper we showed how a large number of new high performance algorithms for the solution of the triangular Sylvester equation can...
Cited by: More
Representing Linear Algebra Algorithms in Code: The FLAME API - Geijn (2003) (Correct)
Active bibliography (related documents): More All
0.7: Recursive Blocked Algorithms for Solving Triangular.. - Jonsson, Kågström (2001) (Correct)
0.7: Recursive Blocked Algorithms for Solving Triangular.. - Jonsson, Kågström (2001) (Correct)
0.5: On Reducing TLB Misses in Matrix Multiplication - Goto, Geijn (2002) (Correct)
Similar documents based on text: More All
0.6: FLAME@lab: A Farewell to Indices - Bientinesi, Quintana-Ortí, al. (2003) (Correct)
0.4: Parallel Triangular Sylvester-Type Matrix Equation.. - Jonsson, Kågström (2000) (Correct)
0.3: The Science of Deriving Dense Linear Algebra Algorithms - Bientinesi, Gunnels.. (2002) (Correct)
BibTeX entry: (Update)
Enrique S. Quintana-Ort and Robert A. van de Geijn. Formal derivation of algorithms for the triangular Sylvester equation. ACM Trans. Math. Soft. conditionally accepted. http://citeseer.ist.psu.edu/508313.html More
@misc{ quintana-ort-formal,
author = "E. Quintana-Ort and R. Geijn",
title = "Formal derivation of algorithms for the triangular Sylvester equation",
text = "Enrique S. Quintana-Ort and Robert A. van de Geijn. Formal derivation
of algorithms for the triangular Sylvester equation. ACM Trans. Math. Soft.
conditionally accepted.",
url = "citeseer.ist.psu.edu/508313.html" }
Citations (may not include all citations):2441 Johns Hopkins University Press (context) - Golub, Van Loan - 1996
532 LAPACK Users' Guide (context) - Anderson, Bai et al. - 1995
387 A set of Level 3 Basic Linear Algebra Subprograms (context) - Dongarra, Croz et al. - 1990
157 Automatically tuned linear algebra software - Whaley, Dongarrra - 1998
123 Optimizing matrix multiply using PHiPAC: a portable - Bilmes, Asanovic et al. - 1997
33 Algorithms for Linear-Quadratic Optimization (context) - Sima - 1996
10 FLAME: Formal linear algebra methods environment (context) - Gunnels, Henry et al. - 2001
6 A family of highperformance matrix multiplication algorithms (context) - Gunnels, Henry et al. - 2001
5 Distributed and shared memory block algorithms for the trian.. (context) - agstr, Poromaa - 1992
4 Application of ADI iterative methods to the restoration of n.. - Calvetti, Reichel - 1996
4 non-negative de - nite Lyapunov equation (context) - Hammarling, of - 1982
4 Recursive blocked algorithms for solving triangular matrix e.. - Jonsson, agstr - 2001
3 Solution of the matrix equation AX+ XB = C: Algorithm (context) - Bartels, Stewart - 1972
3 Optimization of Linear Control Systems: Analytical Methods a.. (context) - Aliev, Larin - 1998
1 Schur method for the problem AX +XB = C (context) - Golub, Nash et al. - 1979
Documents on the same site (http://www.cs.utexas.edu/ftp/pub/techreports/): More
Parametric Quantitative Temporal Reasoning - Emerson, Trefler (1999) (Correct)
Two Problems of TCP AIMD Congestion Control - Yang, Kim, Zhang, Lam (2000) (Correct)
Verifying Adder Circuits Using Powerlists - Adams (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC