プログラム https://sf.net/apps/mediawiki/gnat-math-extn/

Ada 2005 標準では、実数および複雑な行列演算とベクトル演算を定義します。すべての可能な操作がサポートされているわけではないので、例えば対称またはハーミシアン行列のみが解決できます。このプロジェクトは GNAT 規格の拡張を提供します。