2
z3
Z3 هو مبرر نظرية من Microsoft Research.
- تطبيق مجاني
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 هو مبرر نظرية من Microsoft Research
z3
موقع الكتروني:
https://github.com/Z3Prover/z3المميزات
التصنيفات
بدائل z3 لجميع المنصات مع أي ترخيص
180
172
GNU Octave
Octave هو برنامج كمبيوتر لأداء الحسابات العددية وهو في الغالب متوافق مع MATLAB.إنه جزء من مشروع جنو.
165
R (programming language)
R هي بيئة برمجية مجانية للحوسبة والرسومات الإحصائية.
140
Mathematica
نظام الحوسبة التقنية النهائي الذي يمتد عبر التعلم الآلي والشبكات العصبية ، وعلوم البيانات ، والمرئيات وأكثر من ذلك بكثير.
41
8
Cymath
أدخل مشكلة الرياضيات ، ودع Cymath يحلها لك خطوة بخطوة! لطلاب المرحلة الثانوية ، يغطي Cymath موضوعات في الجبر مثل: - حل المعادلات - العوملة
- تطبيق مجاني
0
Solve My Math
احصل على مساعدة الرياضيات بشكل سريع وعبر الإنترنت مع أكثر من مائة من محبي الرياضيات والآلات الحاسبة الفورية وحتى خطوة بخطوة المصممة لمساعدتك في حل مشكلات الرياضيات وفهم المفاهيم التي تكمن وراءها !.
- تطبيق مجاني
- Web
