180
MATLAB je brojčano računalno okruženje i programski jezik.MATLAB, koji održava MathWorks, omogućava jednostavnu manipulaciju matricom, crtanje funkcija i podataka, implementaciju algoritama, stvaranje korisničkih sučelja i povezivanje s programima na drugim jezicima.Iako je samo numerički, izborni alatni okvir koristi MuPAD simbolički motor koji omogućava pristup mogućnostima računalne algebre.Dodatni paket, Simulink, dodaje grafičku multidomenalnu simulaciju i dizajn temeljen na modelu za dinamične i ugrađene sustave ....
Web stranica:
http://www.mathworks.com/products/matlab/
Alternativa MATLABu za WebAssembly
2
z3
Z3 je dokaz teorema tvrtke Microsoft Research.
- Besplatna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++