180
MATLAB adalah persekitaran pengkomputeran berangka dan bahasa pengaturcaraan.Dipelihara oleh MathWorks, MATLAB membolehkan manipulasi matriks mudah, merancang fungsi dan data, pelaksanaan algoritma, penciptaan antara muka pengguna, dan interfacing dengan program dalam bahasa lain.Walaupun hanya angka sahaja, kotak peralatan pilihan menggunakan enjin simbolik MuPAD, yang membolehkan akses ke keupayaan algebra komputer.Pakej tambahan, Simulink, menambah simulasi multidomain grafik dan Reka Bentuk Berbasis Model untuk sistem dinamik dan terbenam ....
matlab
Kategori
Alternatif untuk MATLAB untuk Linux
9
Euler Math Toolbox
Dengan Euler Math Toolbox, anda mengalami perhitungan matematik, numerik serta simbolik, dengan mudah dan kecantikan.
9
Mirai Math
Frontend grafik untuk GNU Octave.Edit formula notasi matematik iniktif.Tersedia / diuji untukLinux x586 / x86_64, WinXP, Vista, dan MacOS.
8
jasymca
Jasymca adalah Sistem interaktif untuk menyelesaikan masalah matematik.Ia menyokong nombor ketepatan sewenang-wenang dan pembolehubah simbolik.
8
8
Yakindu Statechart Tools
Alat menggunakan sumber terbuka, tool sumber terbuka YAKINDU Alat Statechart (SCT) menyediakan persekitaran pemodelan bersepadu untuk spesifikasi dan pembangunan reaktif, yang didorong oleh ...
6
Mathomatic
Mathomatic adalah Sistem Algebra Komputer (CAS) yang bebas, mudah alih, umum yang boleh secara automatik menyelesaikan, membezakan, memudahkan, menggabungkan, dan membandingkan persamaan algebra ...
6
5
5
SymbolicC++
SymbolicC ++ menggunakan C ++ dan pengaturcaraan berorientasikan objek untuk membangunkan sistem algebra komputer.
4
4
4
2
z3
Z3 adalah prover teorem dari Microsoft Research.