180
MATLAB je številčno računalniško okolje in programski jezik.MATLAB, ki ga vzdržuje MathWorks, omogoča enostavno manipulacijo z matrico, risanje funkcij in podatkov, izvajanje algoritmov, ustvarjanje uporabniških vmesnikov in povezovanje s programi v drugih jezikih.Čeprav je samo številčno, izbirno orodje uporablja simbolični motor MuPAD, ki omogoča dostop do računalniške algebre.Dodatni paket, Simulink, doda grafično simulacijo z več domenami in zasnovano na modelu za dinamične in vgrajene sisteme ....
matlab
Spletna stran:
http://www.mathworks.com/products/matlab/
Alternativa MATLABu za C++
2
z3
Z3 je dokaz teorema podjetja Microsoft Research.
- Brezplačna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
