z3

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

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

Алтернативи на z3 за Windows

180

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

172

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

165

R е безплатна софтуерна среда за статистически изчисления и графики.

140

Окончателна техническа изчислителна система, обхващаща машинно обучение и невронни мрежи, наука за данни, визуализации и много други.