MATLAB

MATLAB

Środowisko obliczeniowe klasy korporacyjnej i język programowania do obliczeń numerycznych.
MATLAB to numeryczne środowisko komputerowe i język programowania.Obsługiwany przez MathWorks, MATLAB pozwala na łatwą manipulację matrycą, wykreślanie funkcji i danych, implementację algorytmów, tworzenie interfejsów użytkownika i współpracę z programami w innych językach.Chociaż jest to tylko liczba, opcjonalny zestaw narzędzi wykorzystuje silnik symboliczny MuPAD, umożliwiając dostęp do możliwości algebry komputerowej.Dodatkowy pakiet Simulink dodaje graficzną symulację wielodomenową i projektowanie oparte na modelach dla systemów dynamicznych i wbudowanych ....
matlab

Alternatywy dla MATLAB dla OCaml

z3

z3

Z3 jest twierdzeniem twierdzącym z Microsoft Research.