z3

Z3 е доказател на теоремата от Microsoft Research.

Z3 е доказател на теоремата от Microsoft Research

WebSite:

https://github.com/Z3Prover/z3

Характеристика

Алтернативи на z3 за всички платформи с всякакъв лиценз

180

MATLAB

Компютърна среда за бизнес и клас и език за програмиране за изчисления с цифри.

Платено
Windows
Mac
Linux
Android
iPhone
iPad
Web

172

GNU Octave

Octave е компютърна програма за извършване на цифрови изчисления, която е най-вече съвместима с MATLAB.Той е част от проекта GNU.

Безплатно
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$

Вземете помощ по математика бързо и онлайн с повече от сто моментални и дори стъпка по стъпка математически решения и калкулатори, създадени да ви помогнат да решите математическите си проблеми и да разберете концепциите зад тях !.

Безплатно
Web

z3