# Category/Mathematics

- ATLAS
- Generates high-performance mathematical libraries

- Apophenia
- Statistics library for C

- Aris
- A formal logical proof program

- Asymptote
- Vector graphics language for technical drawings

- Autoclass
- Automatic classification or clustering

- Axiom
- Axiom is a general purpose Computer Algebra system

- BLAS
- Basic Linear Algebra Subprograms

- Bas55
- Minimal BASIC System

- Bc
- Interactive algebraic language

- Besssugo
- a tool to build videos out of scientific calculations

- 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

- Ctioga2
- polymorphic scientific plotting program

- Cuba
- library for multidimensional numerical integration

- 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

- Datamash
- numeric,textual and statistical operations on input textual data files

- Dinrhiw2
- C++ machine learning library

- Dr. geo
- Ann application to build interactive geometric sketches

- 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

- Gsegrafix
- a GNOME scientific and engineering plotting program

- Gsl
- Routines for numerical computing

- Guppy
- a modular cross-platform chat bot in Python

- 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

- Kpl
- Two- and three-dimensional graphical presentation of data sets and 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

- Librsb
- A shared memory parallel sparse matrix library including Sparse BLAS.

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

- MLPACK
- fast C++ machine learning library

- MPK
- MPK

- MUNTL
- Multiprecision unsigned number template library

- Macaulay 2
- Software for algebraic geometry research

- Mandelbulber
- 3D Mandelbrot fractal renderer

- 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

- MathEOS
- Text editor for math lessons

- 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

- Mpfr
- Multiple-precision Floating-point library with correct rounding.

- Mpmath
- library for arbitrary-precision floating-point arithmetic

- 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

- Octave-interval
- Real-valued interval arithmetic for Octave

- OpenCircuits
- Digital Circuit Planning and Simulation

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

- Opennn
- Class library written in C++ which implements neural networks

- Openscad
- script file based graphical CAD environment

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

- OptionMatrix
- GTK+ Financial Derivatives Calculator with 168+ Models

- Orange
- Data mining can be fruitful and fun!

- 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

- PuffinPlot
- Palaeomagnetic data analysis and plotting

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

- PyGSL
- Python interface for GNU Scientific Library

- QChartist
- Technical analysis software

- 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.

- Shoali
- It is a web service designed to help people make money transactions (crowdlending) without peer intermediaries.

- 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

- Tcalc
- The terminal calculator

- TensorFlow
- Library for machine learning

- 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.

- Z--PeerLibrary
- Facilitating the global conversation on academic literature

- 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.