![z3](https://i.altapps.net/icons/z3-1bd05.png)
2
z3
Z3 er en teorem-prover fra Microsoft Research.
Z3 er en teorem-prover fra Microsoft Research
z3
Internet side:
https://github.com/Z3Prover/z3Funktioner
Kategorier
Alternativer til z3 til Windows
![MATLAB](https://i.altapps.net/icons/matlab-02e2f.png)
180
![GNU Octave](https://i.altapps.net/icons/gnu-octave-ab83d.png)
172
GNU Octave
Octave er et computerprogram til udførelse af numeriske beregninger, som for det meste er kompatibelt med MATLAB.Det er en del af GNU-projektet.
![R (programming language)](https://i.altapps.net/icons/r-project-1ce0e.png)
165
R (programming language)
R er et gratis softwaremiljø til statistisk computing og grafik.
![Mathematica](https://i.altapps.net/icons/mathematica-d7a92.png)
140
Mathematica
Definitivt teknisk computersystem, der spænder over maskinlæring og neurale netværk, datavidenskab, visualiseringer og meget mere.