
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 ....
Spletna stran:
http://www.mathworks.com/products/matlab/Alternativa MATLABu za Linux

9
Euler Math Toolbox
Z Euler Math Toolbox doživljate matematične izračune, tako številčne kot simbolične, z lahkoto in lepoto.

9
Mirai Math
Grafični prednji del GNU Octave.Urejanje formul innativen matematični zapis.Na voljo / preizkušen za Linux x586 / x86_64, WinXP, Vista in MacOS.

8
jasymca
Jasymca je interaktivni sistem za reševanje matematičnih problemov.Podpira poljubne natančne številke in simbolične spremenljivke.
- Brezplačna
- HP webOS
- Windows
- Mac
- Linux
- Android
- Windows Phone
- Web
- S60
- Windows Mobile
- Java Mobile

8

8
Yakindu Statechart Tools
Prosti za uporabo odprtokodni pribor orodij YAKINDU Statechart Tools (SCT) zagotavlja integrirano okolje za modeliranje za specifikacijo in razvoj reaktivnih, na dogodke vodenih dogodkov ...

6
Mathomatic
Mathomatic je brezplačni, prenosni sistem splošne računalniške algebre (CAS), ki lahko samodejno reši, razlikuje, poenostavi, kombinira in primerja algebrske enačbe ...

6

5

5
SymbolicC++
SymbolicC ++ uporablja C ++ in objektno usmerjeno programiranje, da razvije sistem računalniške algebre.

4

4
Reinteract
Reinteract je sistem za interaktivno eksperimentiranje s Python-om.

4

2
z3
Z3 je dokaz teorema podjetja Microsoft Research.
- Brezplačna
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++