Categories within Mathematics

Projects within Mathematics

  • ATLAS

    - Generates high-performance mathematical libraries

  • Axiom

    - Axiom is a general purpose Computer Algebra system

  • BLAS

    - Basic Linear Algebra Subprograms

  • BigMath

    - Light Weight, Fast Code for Arbitrary Precision Arithmetic

  • 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

  • LAPACK

    - Linear Algebra PACKage

  • MCS Libre (Monte-Carlo simulation)

    - utility for Monte-Carlo simulation

  • 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

  • Octave-ann

    - use the ANN library from within Octave

  • 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

  • Reverse Polish Lisp/2

    - an extension of RPL, including graphic capability

  • 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

  • bitwise enums

    - Type safe bitwise enumerations for C++

  • 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

  • universal_crc

    - utility for generating optimized ANSI C code for CRC calculation
 
 

Please send comments on these web pages to bug-directory@fsf.org, send other questions to info@fsf.org.

Copyright © 2000 - 2008 Free Software Foundation, Inc., 51 Franklin Street, 5th Floor, Boston, MA 02110-1301, USA

The copyright licensing notice below applies to this text. Any software described in this text has its own copyright notice and license, which can usually be found in the distribution itself.

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