mathematical software
software to model, analyze or calculate numeric, symbolic or geometric data
GNU Linear Programming Kit
software package intended for solving large-scale linear programming (LP), mixed integer programming (MIP), and other related problems.
Stella
computer program
Fast Library for Number Theory
C library for number theory applications
tensor software
class of mathematical software
Class Library for Numbers
free library for arbitrary precision arithmetic
MADNESS
numerical analysis software
proof assistant
software tool to assist with the development of formal proofs by human-machine collaboration
Parallel Linear Algebra for Scalable Multi-core Architectures
free numerical linear algebra software library
MATLAB
numerical computing environment
formula editor
a computer program that is used to typeset mathematical works or formulae
Cantor
frontend to mathematical software
statistical package
software for statistical analysis
Integer set library
mathematical software
computer algebra system
mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists
Maxima
computer algebra system
fractal-generating software
graphics software generating fractal images
software calculator
calculator as a computer program
Mathematica
computational software program
GAP
computer algebra system for computational discrete algebra
solver
piece of software that solves a mathematical problem
GNU Octave
numerical computation software