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