FREE SOFTWARE DIRECTORY

Mathematics

Categories within Mathematics

• Symbolic

• Plotting

• Statistics

• Misc

Projects within Mathematics

• ATLAS

  - Generates high-performance mathematical libraries

• Axiom

  - Axiom is a general purpose Computer Algebra system

• Calc

  - C-style arbitrary precision arithmetic system

• CrocoPat

  - Tool for relational querying

• E

  - Automated theorem prover

• Easyval

  - Basic implementation of interval arithmetic

• Euler

  - Program for computing with real and complex numbers and matrices

• GAP

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

• GNU libmatheval

  - Library for evaluating mathematical expressions

• GSL

  - Routines for numerical computing

• GTybalt

  - Computer algebra system

• Genius

  - Arbitrary precision integer and multiple precision floating point calculator

• IT++

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

• KSEG

  - Euclidean geometry simulator

• Kiss FFT

  - Small and simple FFT library

• L2P

  - Creates PNG images from LaTeX math expressions

• MUNTL

  - Multiprecision unsigned number template library

• Macaulay 2

  - Software for algebraic geometry research

• Mantissa

  - Algorithms for dynamics simulation and 3D geometry computation

• Math::MatrixReal

  - Manipulate NxN real matrices

• 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

• ProofGeneral

  - Emacs-based frontend to a variety of theorem provers

• PyGSL

  - Python interface for GNU Scientific Library

• RKCheck

  - Checks the order of Runge-Kutta methods

• Rpncalc

  - RPN calculator emulating H-P 28S

• Spline

  - Akima spline interpolation

• UMFPACK

  - Routines for solving unsymmetric sparse linear systems

• Zimpl

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

• choose

  - Computes permutations and "choose functions"

• gNumExp

  - Gui frontend to to the NumExp language

• mcsim

  - Simulation software for designing, analyzing and calibrating mathematical models

• nMod nBody Modelling Toolkit

  - Particle-particle nbody model

• sage

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

• slib

  - Portable scheme library