
140
Mathematica est un logiciel informatique largement utilisé dans les domaines scientifiques, techniques et mathématiques et dans d'autres domaines de l'informatique technique.
Site Internet:
http://www.wolfram.com/products/mathematica/traits
Les catégories
Alternatives à Mathematica pour Linux

9
Euler Math Toolbox
Avec Euler Math Toolbox, vous expérimentez les calculs mathématiques, numériques et symboliques, avec facilité et beauté.

8

6
Mathomatic
Mathomatic est un système d'algèbre informatique (CAS) gratuit, portable et polyvalent qui peut automatiquement résoudre, différencier, simplifier, combiner et comparer des équations algébriques ...

6

5

5
SymbolicC++
SymbolicC ++ utilise C ++ et la programmation orientée objet pour développer un système d'algèbre informatique.

4

4

4
Reinteract
Reinteract est un système d'expérimentation interactive avec Python.

4

2

2
Doronix Math Toolbox
Doronix Math Toolbox est un environnement informatique numérique avec langage de programmation qui peut être utilisé comme alternative à MATLAB.

2
z3
Z3 est un prouveur de théorème de Microsoft Research.
- Gratuite
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++

1
Altair Compose
Altair Compose est utilisé pour effectuer une variété d'algèbres mathématiques et linéaires (y compris l'analyse matricielle et les équations différentielles), filtrer les signaux, ajuster les polynômes à travers les données, approximer ou vérifier les résultats du logiciel de simulation, effectuer l'optimisation.