Chương trình theo https://sf.net/apps/mediawiki/gnat-math-extn/
-
Ada 2005 Math Extensions Miễn phí
Tiêu chuẩn Ada 2005 xác định các hoạt động ma trận và vectơ thực sự và phức tạp. Không phải mọi hoạt động có thể được hỗ trợ, vì vậy ví dụ chỉ có ma trận đối xứng hoặc ẩn sĩ mới có thể được giải quyết. Dự án này cung cấp các