Category/Mathematics
- ATLAS
- Generates high-performance mathematical libraries
- Aletheia
- Aletheia is a decentralised open access publishing platform for scientific research.
- Apophenia
- Statistics library for C
- Aris
- Formal logical proofing.
- 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
- ECMA-55 Minimal BASIC Interpreter
- 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
- Visualize convolution and demonstrate convolution theorem.
- Calc
- Advanced desk calculator for GNU Emacs.
- 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).
- DataMelt
- Computation and Visualization enviroment
- DataStatix
- A free software to manage data and statistics with MySql
- Datamash
- Scriptable statistics and data calculation.
- Dezyne
- A programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software
- Dinrhiw2
- C++ machine learning library
- Dr-geo
- 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
- FractGen
- Fractal Generator
- 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 SETL
- SETL language extension and implementation
- 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
- Glpk
- GNU Linear Programming Kit, supporting the MathProg language.
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.