Welcome to the FLAME Interface Repository website (FIREsite).
FIREsite is a repository of
algorithms,
implementations, and
documentation
related to dense linear algebra operations.
For such operations
-
The algorithms are derived using the Formal Linear Algebra Methods
Environment
(FLAME),
a methodology for systematically deriving provably correct
linear algebra algorithms.
These algorithms are expressed using a format that avoids intricate
indexing.
-
The resulting algorithms are implementing using a FLAME API that
closely resembles how the algorithms are formatted.
As a result, the correctness of the algorithms largely transfers to
implementations.
Currently the following FLAME APIs are supported:
-
FLAME@lab
for coding algorithms using the M-script language supported by
MATLAB
or
Octave.
-
FLAME/C
for coding algorithms using the C programming language.
-
PLAPACK
for coding parallel implementations using the C programming language and
the Message-Passing Interface (MPI).
In addition, and interface that allows the FLAME/C coded subroutines to be called from MATLAB (MATLABaFLAME) and/or Octave (OCTAVEaFLAME) is supported.
For an illustration of how the algorithms are formatted and
how they are translated to code, a
comparison is given
of the algorithm for solving a triangular system with multiple
right-hand sides (TRSM) with code written with the
FLAME@lab, FLAME/C, and PLAPACK APIs.
To navigate FIREsite, use the menu to the left or visit the
site map.