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: 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

Approximate Nearest Neighbor Searching library (tools)

Apophenia Statistical C Library -- binary package

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: graphics subsystem

General purpose computer algebra system: hypertex 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

Gröbner bases in commutative and non-commutative algebras

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

Simplified Satisfiability Solver

Arbitrary precision calculator

Arbitrary precision calculator (common files)

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

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

cashbox - memorise cost and calculate price of articles

lazy clause generation FlatZinc implememntation

Tests for CLBlast

Utilities for CLBlast

clique searching program

sheaf cohomology of line bundles on toric varieties