180
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 ....
Stronie internetowej:
http://www.mathworks.com/products/matlab/
Alternatywy dla MATLAB dla Linux
9
Euler Math Toolbox
Dzięki Euler Math Toolbox możesz łatwo i pięknie wykonywać obliczenia matematyczne, zarówno numeryczne, jak i symboliczne.
9
Mirai Math
Interfejs graficzny dla GNU Octave.Edytuj formuły innatywnej notacji matematycznej.Dostępne / przetestowane dla Linux x586 / x86_64, WinXP, Vista i MacOS.
8
jasymca
Jasymca to interaktywny system rozwiązywania problemów matematycznych.Obsługuje dowolne liczby precyzji i zmienne symboliczne.
8
8
Yakindu Statechart Tools
Darmowy w użyciu zestaw narzędzi open source YAKINDU Statechart Tools (SCT) zapewnia zintegrowane środowisko modelowania do specyfikacji i rozwoju reaktywnych, sterowanych zdarzeniami ...
6
Mathomatic
Mathomatic to darmowy, przenośny, uniwersalny komputerowy system algebry (CAS), który może automatycznie rozwiązywać, różnicować, upraszczać, łączyć i porównywać równania algebraiczne ...
6
5
5
SymbolicC++
SymbolicC ++ wykorzystuje C ++ i programowanie obiektowe do opracowania systemu algebry komputerowej.
4
4
4
2
z3
Z3 jest twierdzeniem twierdzącym z Microsoft Research.
