mathematical tool suite for problems on linear spaces -- tools

Computational Logic for Applicative Common Lisp: main binary

Computational Logic for Applicative Common Lisp: compiled libraries

Computational Logic for Applicative Common Lisp: library certificates

Computational Logic for Applicative Common Lisp: library sources

Computational Logic for Applicative Common Lisp: emacs interface

Computational Logic for Applicative Common Lisp: infix interface

Computational Logic for Applicative Common Lisp: infix source

Computational Logic for Applicative Common Lisp: source files

Tool for processing triangulated solid meshes. Binary

Automatic theorem prover dedicated to program verification

Approximate Nearest Neighbor Searching library (tools)

Arbitrary precision calculator (original name: calc)

Arbitrary precision calculator (common files)

Apophenia Statistical C Library -- binary package

interpreter for arithmetic

software for continuation and bifurcation problems in ODE

automatic classification or clustering

General purpose computer algebra system: main binary and modules

General purpose computer algebra system: generated text databases

General purpose computer algebra system: graphics subsystem

General purpose computer algebra system: hypertex subsystem

General purpose computer algebra system: source files

General purpose computer algebra system: regression test inputs

General purpose computer algebra system: style file for TeX

GNU bc arbitrary precision calculator language

simple ASCII,binary,decimal and hex converter

tool to compute graph automorphisms and labelings -- bin

simple histogram tool producing text dot-matrix graphs

Show byte statistics as an ASCII circle graph

field-theory motivated computer algebra system

spreadsheet for the Calligra Suite

data files for Sheets spreadsheet

interface for mathematical applications

KAlgebra backend for Cantor

Lua backend for Cantor

Maxima backend for Cantor

Octave backend for Cantor

Python2 backend for Cantor

Python3 backend for Cantor

Qalculate! backend for Cantor

R backend for Cantor

Sage backend for Cantor

Scilab backend for Cantor

dynamic geometry software with highly ergonomic UI

interactive visualization tool for the convolution theorem

powerful image processing library

clique searching program