z3

z3

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

Alternativa z3u za vse platforme s katero koli licenco

MATLAB

MATLAB

Računalniško okolje podjetja in programski jezik za numerično računanje.
GNU Octave

GNU Octave

Octave je računalniški program za izvajanje številčnih izračunov, ki je večinoma združljiv z MATLAB.Je del projekta GNU.
R (programming language)

R (programming language)

R je brezplačno programsko okolje za statistično računalništvo in grafiko.
Mathematica

Mathematica

Dokončni tehnični računalniški sistem, ki sega v strojno učenje in nevronske mreže, podatkovne znanosti, vizualizacije in še veliko več.
fxSolver

fxSolver

Spletni matematični reševalec, urejevalnik enačb in baze podatkov, grafični kalkulator in pomočnik pri znanosti / inženiringu.
  • Brezplačna
  • Web
Cymath

Cymath

Vnesite svojo matematično težavo in dovolite, da jo Cymath reši po korakih! Za srednješolce Cymath pokriva teme iz algebre, kot so: - reševanje enačb - faktoring
  • Brezplačna
Solve My Math

Solve My Math

Hitro in spletno pomoč pridobite pri matematiki z več kot sto takojšnjimi in enakomernimi matematičnimi rešitvami in kalkulatorji, ki vam bodo pomagali rešiti matematične težave in razumeti koncepte, ki stojijo za njimi !.
  • Brezplačna
  • Web