z3

Z3 je dokaz teorema tvrtke Microsoft Research.

Z3 je dokaz teorema tvrtke Microsoft Research

Web stranica:

https://github.com/Z3Prover/z3

Značajke

Kategorije

Obrazovanje i referenca

Alternativa z3u za sve platforme s bilo kojom licencom

180

MATLAB

Računalno okruženje i programski jezik poduzeća klase za numeričko računanje.

172

GNU Octave

Octave je računalni program za izvođenje numeričkih izračuna koji je uglavnom kompatibilan s MATLAB-om.Dio je GNU Projekta.

Besplatna
Windows
Mac
Linux
BSD

165

R (programming language)

R je besplatno softversko okruženje za statističko računanje i grafiku.

Besplatna
Windows
Mac
Linux
BSD

140

Mathematica

Definitivan tehnički računalni sustav koji obuhvaća strojno učenje i neuronske mreže, znanost o podacima, vizualizacije i još mnogo toga.

Plaćena
Web
Windows
Mac
Linux

fxSolver

Online matematički rješivač, uređivač jednadžbi i baza podataka, grafički kalkulator i pomagač iz naučno-inženjerskog problema.

Besplatna
Web

Cymath

Unesite svoj matematički problem i dopustite da ga Cymath riješi korak po korak! Za srednjoškolce, Cymath pokriva teme iz algebre kao što su: - rješavanje jednadžbi - faktoring

Besplatna

$Solve My Math$

Brzo i mrežno dobijte pomoć iz matematike s više od stotinu trenutačnih, pa čak i korak po korak matematičkih rješenja i kalkulatora osmišljenih da vam pomognu riješiti matematičke probleme i razumjeti koncepte koji stoje iza njih !.

Besplatna
Web