Libflame

Jul 20, 2023

FLAME dense linear algebra library

libflame contains implementations of many dense linear algebra operations that are provided by the BLAS and LAPACK libraries. However, not all FLAME implementations support every datatype, and, in many cases, libflame uses a different naming convention for the routines.

The library is a product of the Formal Linear Algebra Methods Environment FLAME, which encompasses a new notation for expressing algorithms, a methodology for systematic derivation of algorithms, Application Program Interfaces APIs for representing the algorithms in code, and tools for mechanical derivation, implementation and analysis of algorithms and implementations.



Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++