# Category/Mathematics

- ATLAS
- Generates high-performance mathematical libraries

- Apophenia
- Statistics library for C

- Aris
- A formal logical proof program

- Autoclass
- Automatic classification or clustering

- Axiom
- Axiom is a general purpose Computer Algebra system

- BLAS
- Basic Linear Algebra Subprograms

- Bc
- Interactive algebraic language

- BigMath
- Light Weight, Fast Code for Arbitrary Precision Arithmetic

- Bitwise enums
- Type safe bitwise enumerations for C++

- C-Graph
- software for visualizing convolution and demonstrating the convolution theorem

- Calc
- C-style arbitrary precision arithmetic system

- Choose
- Computes permutations and "choose functions"

- Cl-ana
- Common Lisp data analysis library

- Collab
- real-time shared painting software (paint chat)

- Coq
- a formal proof management system

- CrocoPat
- Tool for relational querying

- DUNE-Common
- contains the basic classes used by all DUNE-modules.

- DUNE-Grid
- defines nonconforming, hierarchically nested, multi-element-type, parallel grids in arbitrary space dimensions.

- DUNE-Grid How To
- is a tutorial on the grid/mesh interface.

- DUNE-Istl
- provides generic sparse matrix/vector classes and a variety of solvers based on these classes.

- Dap
- Statistics and graphics package

- Data Frame
- Data manipulation toolbox similar to r data.frame

- DataCaptureTool
- This is a TCl/Tk package for getting data out of scientific plots (or from any other plot for that matter).

- DataStatix
- A free software to manage data and statistics with MySql

- Easyval
- Basic implementation of interval arithmetic

- Emgr
- Empirical Gramian Framework

- Euler
- Program for computing with real and complex numbers and matrices

- FroZenLight
- line drawing program based on modeling light moving through a grid of mirrors

- FunkyPlot
- interactive plotting tool

- GAP
- GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.

- GNU libmatheval
- Library for evaluating mathematical expressions

- GNumExp
- Gui frontend to to the NumExp language

- GTybalt
- Computer algebra system

- Genius
- Arbitrary precision integer and multiple precision floating point calculator

- GiNaC
- Open framework for symbolic computation within C++

- Giac
- Free computer algebra system

- Gnu Math
- Unfinished software to simplify programming for scientific applications

- Gsl
- Routines for numerical computing

- IT++
- C++ library of mathematical, signal processing, speech processing, and communications classes and functions.

- Jacal
- Mathematics program

- KNIME
- KNIME is a user-friendly graphical workbench for the entire analysis process

- KSEG
- Euclidean geometry simulator

- Kiss FFT
- Small and simple FFT library

- Kmplot
- Plots mathematical functions

- L2P
- Creates PNG images from LaTeX math expressions

- LAPACK
- Linear Algebra PACKage

- LibreOffice
- Personal productivity suite with six feature-rich applications for all your document production and data processing needs: Writer, Calc, Impress, Draw, Math and Base.

- MCS Libre (Monte-Carlo simulation)
- utility for Monte-Carlo simulation

- MLPACK
- fast C++ machine learning library

- MUNTL
- Multiprecision unsigned number template library

- Macaulay 2
- Software for algebraic geometry research

- Mantissa
- Algorithms for dynamics simulation and 3D geometry computation

- Mastrave
- Library for effective semantic array programming. It is as compatible as possible with both GNU Octave and MATLAB computing environments, offering general purpose, portable and freely available features for the scientific community.

- Math MatrixReal
- Manipulate NxN real matrices

- MathStudio
- Equation editor and math engine

- Mathomatic
- General purpose symbolic math program

- Maxima
- Computer algebra system

- Mcsim
- Simulation software for designing, analyzing and calibrating mathematical models

- MedianTracker
- Tracks the overall median of a stream of values "on-line" in reasonably efficient fashion.

- Minfx
- The minfx optimisation library

- Mpc
- C library for the arithmetic of complex numbers with arbitrarily high precision and correct rounding of the result

- NMod nBody Modelling Toolkit
- Particle-particle nbody model

- NumExp
- Math-oriented programming language

- Numdiff
- Numdiff compares putatively similar files line by line and field by field, ignoring small numeric differences or/and different numeric formats.

- Octave
- High-level language for numerical computations

- Octave-ann
- use the ANN library from within Octave

- OpenPlaG
- Is a function graph plotter for websites in PHP

- Opmuse
- A web application to play, organize and share your music library.

- OptionMatrix
- GTK Financial Derivatives Calculator

- Otter Mace
- automated deduction system

- Papertrail
- Ballot counting software

- Ploticus
- Plotting/data display package

- Plotutils
- Plotting and graphics utilities

- Poly ML
- The Poly/ML implementation of Standard ML

- PredictionIO
- Machine Learning Server for Software Developers

- ProofGeneral
- Emacs-based frontend to a variety of theorem provers

- Prover 9
- Prover 9 and Mace 4

- Pspp
- Statistics package

- PyChem
- A cross-platform multivariate analysis package, including a graphical user interface

- PyGSL
- Python interface for GNU Scientific Library

- RKCheck
- Checks the order of Runge-Kutta methods

- ReferenceFinder
- Finds sequence to locate a point in a square

- Reverse Polish Lisp 2
- an extension of RPL, including graphic capability

- Rpncalc
- RPN calculator emulating H-P 28S

- Sage
- SAGE is free and open software that supports research and teaching in algebra, geometry, number theory, cryptography, etc.

- SalStat
- Analyzes statistical (especially psychological) data

- SciGraphica
- Data analysis and technical graphics

- Scilab
- Scilab is free software for numerical computation providing a powerful computing environment for engineering and scientific applications.

- SimThyr
- Simulation program for thyroid homeostasis

- Slib
- Portable scheme library

- Snow Path Formation Simulator
- Graphically displays the formation of paths in the snow formed by people.

- Spline
- Akima spline interpolation

- Statist
- Statistics program

- StatistX
- GTK-based statistics program

- Statlib
- A collection of statistical modules (stats.py, pstats.py, matfunc.py).

- TOCHNOG
- Finite element analysis program

- UMFPACK
- Routines for solving unsymmetric sparse linear systems

- Unit Circle
- A program to show the relationship between angles and trigonometric functions.

- Universal crc
- utility for generating optimized ANSI C code for CRC calculation

- VStar
- VStar is a multi-platform, easy-to-use variable star data visualization and analysis tool.

- Veusz
- A scientific plotting package

- Vilno
- data transformation, prepare data for analysis, use for statistics, reporting or ETL.

- Zenon
- ML Automated Prover

- Zimpl
- Translate the mathematical model of a problem into a linear or (mixed-) integer mathematical program

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.