z3

Z3 هو مبرر نظرية من Microsoft Research.

Z3 هو مبرر نظرية من Microsoft Research

موقع الكتروني:

https://github.com/Z3Prover/z3

المميزات

بدائل z3 لجميع المنصات مع أي ترخيص

180

MATLAB

بيئة الحوسبة على مستوى المؤسسات ولغة البرمجة لحساب عددية.

التطبيق المدفوع
Windows
Mac
Linux
Android
iPhone
iPad
Web

172

GNU Octave

Octave هو برنامج كمبيوتر لأداء الحسابات العددية وهو في الغالب متوافق مع MATLAB.إنه جزء من مشروع جنو.

تطبيق مجاني
Windows
Mac
Linux
BSD

165

R (programming language)

R هي بيئة برمجية مجانية للحوسبة والرسومات الإحصائية.

تطبيق مجاني
Windows
Mac
Linux
BSD

140

Mathematica

نظام الحوسبة التقنية النهائي الذي يمتد عبر التعلم الآلي والشبكات العصبية ، وعلوم البيانات ، والمرئيات وأكثر من ذلك بكثير.

التطبيق المدفوع
Web
Windows
Mac
Linux

fxSolver

حلال الرياضيات عبر الإنترنت ، محرر المعادلات وقاعدة البيانات ، آلة حاسبة الرسوم البيانية ومساعد مشكلة العلوم والهندسة.

تطبيق مجاني
Web

Cymath

أدخل مشكلة الرياضيات ، ودع Cymath يحلها لك خطوة بخطوة! لطلاب المرحلة الثانوية ، يغطي Cymath موضوعات في الجبر مثل: - حل المعادلات - العوملة

تطبيق مجاني

$Solve My Math$

Solve My Math

احصل على مساعدة الرياضيات بشكل سريع وعبر الإنترنت مع أكثر من مائة من محبي الرياضيات والآلات الحاسبة الفورية وحتى خطوة بخطوة المصممة لمساعدتك في حل مشكلات الرياضيات وفهم المفاهيم التي تكمن وراءها !.

تطبيق مجاني
Web

z3