Contents of section "math" in suite "purple"

4ti2
main

mathematical tool suite for problems on linear spaces -- tools

acl2
main

Computational Logic for Applicative Common Lisp: main binary

acl2-books
main

Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs
main

Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source
main

Computational Logic for Applicative Common Lisp: library sources

acl2-emacs
main

Computational Logic for Applicative Common Lisp: emacs interface

acl2-infix
main

Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source
main

Computational Logic for Applicative Common Lisp: infix source

acl2-source
main

Computational Logic for Applicative Common Lisp: source files

admesh
main

Tool for processing triangulated solid meshes. Binary

alt-ergo
main

Automatic theorem prover dedicated to program verification

ann-tools
main

Approximate Nearest Neighbor Searching library (tools)

apcalc
main

Arbitrary precision calculator (original name: calc)

apcalc-common
main

Arbitrary precision calculator (common files)

apophenia-bin
main

Apophenia Statistical C Library -- binary package

aribas
main

interpreter for arithmetic

auto-07p
main

software for continuation and bifurcation problems in ODE

autoclass
main

automatic classification or clustering

axiom
main

General purpose computer algebra system: main binary and modules

axiom-databases
main

General purpose computer algebra system: generated text databases

axiom-graphics
main

General purpose computer algebra system: graphics subsystem

axiom-graphics-data
main

General purpose computer algebra system: graphics subsystem

axiom-hypertex
main

General purpose computer algebra system: hypertex subsystem

axiom-hypertex-data
main

General purpose computer algebra system: hypertex subsystem

axiom-source
main

General purpose computer algebra system: source files

axiom-test
main

General purpose computer algebra system: regression test inputs

axiom-tex
main

General purpose computer algebra system: style file for TeX

bc
main

GNU bc arbitrary precision calculator language

bindechexascii
main

simple ASCII,binary,decimal and hex converter

bliss
main

tool to compute graph automorphisms and labelings -- bin

braillegraph
main

simple histogram tool producing text dot-matrix graphs

bytes-circle
main

Show byte statistics as an ASCII circle graph

cadabra
main

field-theory motivated computer algebra system

calligrasheets
main

spreadsheet for the Calligra Suite

calligrasheets-data
main

data files for Sheets spreadsheet

cantor
main

interface for mathematical applications

cantor-backend-kalgebra
main

KAlgebra backend for Cantor

cantor-backend-lua
main

Lua backend for Cantor

cantor-backend-maxima
main

Maxima backend for Cantor

cantor-backend-octave
main

Octave backend for Cantor

cantor-backend-python2
main

Python2 backend for Cantor

cantor-backend-python3
main

Python3 backend for Cantor

cantor-backend-qalculate
main

Qalculate! backend for Cantor

cantor-backend-r
main

R backend for Cantor

cantor-backend-sage
main

Sage backend for Cantor

cantor-backend-scilab
main

Scilab backend for Cantor

carmetal
main

dynamic geometry software with highly ergonomic UI

c-graph
main

interactive visualization tool for the convolution theorem

cimg-dev
main

powerful image processing library

cliquer
main

clique searching program