Categories » sci-mathematics [13]
Change category
-
calc
| Change category
- console calculator
-
coq
| Change category
- Formal proof management system.
-
freemat
| Change category
- A free environment for rapid engineering, scientific prototyping and data processing
-
genius
| Change category
- Advanced calculator including a mathematical programming language
-
ginac
| Change category
- A library designed to allow the creation of integrated systems that embed symbolic manipulations.
-
glpk
| Change category
- GNU Linear Programming Kit
-
mathomatic
| Change category
- General purpose Computer Algebra System written in C
-
maxima
| Change category
- Maxima - a sophisticated computer algebra system
-
octave
| Change category
- A high-level language, primarily intended for numerical computations.
-
pari
| Change category
- Computer algebra system designed for fast computations in number theory
-
sage-mathematics
| Change category
- SAGE: Open Source Mathematics Software, a viable free alternative to Magma, Maple, Mathematica, and Matlab.
-
sage-mathematics-spkgs
| Change category
- Open Source Mathematics Software, a viable free alternative to Magma, Maple, Mathematica, and Matlab. Source packages only.
-
wxmaxima
| Change category
- A wxWidgets GUI for the computer algebra system Maxima
