Contents of section "math" in suite "byzantium"

4ti2

mathematical tool suite for problems on linear spaces -- tools

main
acl2

Computational Logic for Applicative Common Lisp: main binary

main
acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries

main
acl2-books-certs

Computational Logic for Applicative Common Lisp: library certificates

main
acl2-books-source

Computational Logic for Applicative Common Lisp: library sources

main
acl2-emacs

Computational Logic for Applicative Common Lisp: emacs interface

main
acl2-infix

Computational Logic for Applicative Common Lisp: infix interface

main
acl2-infix-source

Computational Logic for Applicative Common Lisp: infix source

main
acl2-source

Computational Logic for Applicative Common Lisp: source files

main
admesh

Tool for processing triangulated solid meshes. Binary

main
alt-ergo

Automatic theorem prover dedicated to program verification

main
ann-tools

Approximate Nearest Neighbor Searching library (tools)

main
apophenia-bin

Apophenia Statistical C Library -- binary package

main
aribas

interpreter for arithmetic

main
auto-07p

software for continuation and bifurcation problems in ODE

main
autoclass

automatic classification or clustering

main
axiom

General purpose computer algebra system: main binary and modules

main
axiom-databases

General purpose computer algebra system: generated text databases

main
axiom-graphics

General purpose computer algebra system: graphics subsystem

main
axiom-graphics-data

General purpose computer algebra system: graphics subsystem

main
axiom-hypertex

General purpose computer algebra system: hypertex subsystem

main
axiom-hypertex-data

General purpose computer algebra system: hypertex subsystem

main
axiom-source

General purpose computer algebra system: source files

main
axiom-test

General purpose computer algebra system: regression test inputs

main
axiom-tex

General purpose computer algebra system: style file for TeX

main
bc

GNU bc arbitrary precision calculator language

main
bindechexascii

simple ASCII,binary,decimal and hex converter

main
bliss

tool to compute graph automorphisms and labelings -- bin

main
braillegraph

simple histogram tool producing text dot-matrix graphs

main
bytes-circle

Show byte statistics as an ASCII circle graph

main
cadabra

field-theory motivated computer algebra system

main
calc

Arbitrary precision calculator

main
calc-common

Arbitrary precision calculator (common files)

main
calligrasheets

spreadsheet for the Calligra Suite

main
calligrasheets-data

data files for Sheets spreadsheet

main
cantor

interface for mathematical applications

main
cantor-backend-kalgebra

KAlgebra backend for Cantor

main
cantor-backend-lua

Lua backend for Cantor

main
cantor-backend-maxima

Maxima backend for Cantor

main
cantor-backend-octave

Octave backend for Cantor

main
cantor-backend-python3

Python3 backend for Cantor

main
cantor-backend-qalculate

Qalculate! backend for Cantor

main
cantor-backend-r

R backend for Cantor

main
cantor-backend-sage

Sage backend for Cantor

main
cantor-backend-scilab

Scilab backend for Cantor

main
carmetal

dynamic geometry software with highly ergonomic UI

main
cimg-dev

powerful image processing library

main
cliquer

clique searching program

main
cohomcalg

sheaf cohomology of line bundles on toric varieties

main
cohomcalg-common

sheaf cohomology of line bundles on toric varieties (common files)

main