
180
MATLAB هي بيئة حوسبة رقمية ولغة برمجة.يسمح MATLAB ، الذي تم صيانته بواسطة MathWorks ، بمعالجة المصفوفة بسهولة والتخطيط للوظائف والبيانات وتنفيذ الخوارزميات وإنشاء واجهات المستخدم والتفاعل مع البرامج بلغات أخرى.على الرغم من أنها رقمية فقط ، إلا أن صندوق الأدوات الاختياري يستخدم محرك MuPAD الرمزي ، مما يتيح الوصول إلى إمكانات جبر الكمبيوتر.حزمة إضافية ، Simulink ، تضيف محاكاة بيانية متعددة المجالات وتصميم قائم على النماذج للأنظمة الديناميكية والمضمنة ....
موقع الكتروني:
http://www.mathworks.com/products/matlab/المميزات
التصنيفات
بدائل لـ MATLAB لنظام التشغيل Linux

9
Euler Math Toolbox
مع Euler Math Toolbox ، ستختبر الحسابات الرياضية والرقمية والرمزية بكل سهولة وجمال.

9
Mirai Math
الواجهة الرسومية لـ GNU Octave.تحرير الصيغ تدوين رياضي الفطري.متاح / تم اختباره لنظام التشغيل Linux x586 / x86_64 و WinXP و Vista و MacOS.

8
jasymca
Jasymca هو نظام تفاعلي لحل مشاكل الرياضيات.وهو يدعم أرقام الدقة التعسفية والمتغيرات الرمزية.
- تطبيق مجاني
- HP webOS
- Windows
- Mac
- Linux
- Android
- Windows Phone
- Web
- S60
- Windows Mobile
- Java Mobile

8

8
Yakindu Statechart Tools
توفر مجموعة أدوات YAKINDU Statechart Tools (SCT) المجانية والمفتوحة المصدر بيئة تصميم متكاملة لمواصفات وتطوير رد الفعل القائم على الأحداث ...

6
Mathomatic
Mathomatic هو نظام جبر كمبيوتر مجاني ومحمول للأغراض العامة (CAS) يمكنه حل المعادلات الجبرية وتمييزها وتبسيطها وجمعها ومقارنتها تلقائيًا ...

6

5

5
SymbolicC++
يستخدم SymbolicC ++ C ++ والبرمجة الموجهة للكائنات لتطوير نظام جبر الكمبيوتر.

4

4

4

2
z3
Z3 هو مبرر نظرية من Microsoft Research.
- تطبيق مجاني
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++