Showing page 1 of 1.
The Ada 2005 standard defines real and complex matrix and vector operations. Not every possible operation is supported, so for example only symmetric or hermitian matrices can be solved. This project provides extensions to the Standard for GNAT. The software is issued under the GPL Version 3 with the GCC Runtime Library Exception.1 weekly downloads
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.0 weekly downloads