2
z3
Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است.
- نرم افزار رایگان
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
Z3 یک ضرب المثل قضیه از تحقیقات مایکروسافت است
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
