z3

z3

Z3 je dokaz teorema tvrtke Microsoft Research.
Z3 je dokaz teorema tvrtke Microsoft Research
z3

Alternativa z3u za Web

MATLAB

MATLAB

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

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.
fxSolver

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
Solve My Math

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