A Free Mathematical and Computational Software Directory

Packages tagged “discrete mathematics

BGL

Boost Graph Library

Tags: discrete mathematics, graph theory, library.

Homepage: http://www.boost.org/doc/libs

Boolean

A general boolean algebra class and some instances for Haskell

Tags: library, algebra, discrete mathematics, logic.

Homepage: http://repetae.net/recent/out/Boolean.html

CCVisu

Tool for general force-directed graph layout and co-change visualization

Tags: discrete mathematics, graph theory.

Homepage: http://www.cs.sfu.ca/~dbeyer/CCVisu/

CrocoPat

Tool for relational querying

Tags: discrete mathematics, database, statistics.

Homepage: http://mtc.epfl.ch/~beyer/CrocoPat/

DISCRETA

A program to construct t-designs with prescribed automorphism group

Tags: discrete mathematics, combinatorics.

Homepage: http://www.mathe2.uni-bayreuth.de/discreta/

GAP

A system for computational discrete algebra

Tags: algebra, group theory, discrete mathematics, combinatorics.

Homepage: http://www.gap-system.org/

Gato

The Graph Animation Toolbox

Tags: discrete mathematics, graph theory.

Homepage: http://gato.sourceforge.net/

GOBLIN

A Graph library

Tags: discrete mathematics, graph theory, library.

Homepage: http://goblin2.sourceforge.net/

GraphThing

Tool for creating, manipulating, and studying graphs

Tags: discrete mathematics, graph theory.

Homepage: http://graph.seul.org/

Graphviz

Graph visualization software

Tags: discrete mathematics, graph theory.

Homepage: http://graphviz.org/

JGraphT

A free Java graph library

Tags: discrete mathematics, graph theory, library.

Homepage: http://jgrapht.sourceforge.net/

MCL

Markov Cluster Algorithm for graphs

Tags: discrete mathematics, graph theory, statistics.

Homepage: http://micans.org/mcl/

Q-Graph

Q add-on library to deal with combinatorial graphs

Tags: discrete mathematics, combinatorics, graph theory, library.

Homepage: http://q-lang.sourceforge.net/addons.html

SAGE

Framework for number theory, algebra, and geometry computation

Tags: algebra, group theory, computer algebra system, analysis, number theory, cryptography, arithmetic, arbitrary precision, discrete mathematics, combinatorics.

Homepage: http://www.sagemath.org/

SCL

Star complement library

Tags: discrete mathematics, graph theory.

Homepage: http://www.matf.bg.ac.yu/%7ezstanic/scl.htm

StarFLIP++

A reusable iterative optimization library for combinatorial problems with fuzzy constraints

Tags: discrete mathematics, combinatorics, optimization, library.

Homepage: http://www.dbai.tuwien.ac.at/proj/StarFLIP/

Symmetrica

an object oriented computer algebra system for representations, combinatorics and applications of symmetric groups

Tags: algebra, computer algebra system, discrete mathematics, combinatorics, group theory, representation theory.

Homepage: http://www.mathe2.uni-bayreuth.de/axel/symneu_engl.html