z3

z3

Z3 är en teorem-prover från Microsoft Research.
Z3 är en teorem-prover från Microsoft Research
z3

Hemsida:

Funktioner

kategorier

Alternativ till z3 för alla plattformar med någon licens

MATLAB

MATLAB

Beräkningsmiljö i företagsklass och programmeringsspråk för numerisk beräkning.
GNU Octave

GNU Octave

Octave är ett datorprogram för att utföra numeriska beräkningar som mestadels är kompatibla med MATLAB.Det är en del av GNU-projektet.
R (programming language)

R (programming language)

R är en fri mjukvarumiljö för statistisk databehandling och grafik.
Mathematica

Mathematica

Definitivt tekniskt datorsystem som spänner över maskininlärning och neurala nätverk, datavetenskap, visualiseringar och mycket mer.
fxSolver

fxSolver

Onlinematematiklösare, ekvationsredigerare och databas, grafberäknare och problemhjälper till vetenskap / teknik.
Cymath

Cymath

Ange ditt matematikproblem, och låt Cymath lösa det åt dig steg för steg! För gymnasieelever täcker Cymath ämnen i algebra som: - ekvationslösning - factoring
  • Gratis
Solve My Math

Solve My Math

Få mattehjälp snabbt och online med mer än hundra omedelbara och till och med stegvisa matematiska lösare och miniräknare som är utformade för att hjälpa dig lösa dina matematikproblem och förstå koncepten bakom dem !.