GNU Octave được coi là một ngôn ngữ lập trình khoa học với những cú pháp định hướng toán học mạnh mẽ kết hợp công cụ vẽ và hiển thị được xây dựng sẵn. Phần mềm có thể được sử dụng để giải quyết quyết các vấn đề số học cả hữu tuyến lẫn vô tuyến, cũng như để thực hiện các thí nghiệm số khác nhau. Nó tương thích với Matlab, một môi trường tính toán số nhiều mô hình và có thể được sử dụng như một ngôn ngữ theo lô.
Download GNU Octave - Tiện ích lập trình cho toán học
GNU Octave cung cấp các tiện ích khác nhau cho phép người dùng giải quyết các vấn đề đại số, số phổ biến theo Linera. Vận dụng đa thức, tích hợp các phương pháp phi tuyến, cũng như để tích hợp các phương trình vi phân bình thường và vi phân đại số. Bạn có thể sử dụng bằng cách nạp vào các modul hoặc các hàm do người dùng định nghĩa với tính năng mở rộng của GNU Octave. Các hàm này có thể được viết bằng ngôn ngữ lập trình của Octave hoặc C, C++, Fortran...
Ngoài GNU Octave, Dafny là ngôn ngữ lập trình Dafny. Nó cung cấp các lớp, vòng lặp, tham số để phục vụ việc lập trình. Thêm vào đó, Dafny còn có các hệ thống modul, kiểu dữ liệu cho bạn lựa chọn. Người lập trình sẽ biết được các lỗi thông qua chương trình kiểm tra các cú pháp, lỗi...