Contents of section "math" in suite "amber"

hol88-library-help

Higher Order Logic, library online help files

main
hol88-library-source

Higher Order Logic, library source files

main
hol88-source

Higher Order Logic, source files

main
jacal

Interactive symbolic math system

main
jags

Just Another Gibbs Sampler for Bayesian MCMC - binary

main
jfractionlab

Educative program to practice fractions

main
jgraph

Jim Plank's program for producing PostScript graphs

main
jsurf-alggeo

Java based visualization library for real algebraic geometry

main
kalgebra

algebraic graphing calculator

main
kalgebra-common

contains files common for kalgebra and kalgebramobile

main
kalgebramobile

algebraic graphing calculator for small touch based interfaces

main
kali

Draw tilings, frieze patterns, and so on

main
kbruch

fraction learning aid for KDE

main
kcalc

simple and scientific calculator

main
kig

interactive geometry tool

main
kmplot

mathematical function plotter for KDE

main
labplot

interactive graphing and analysis of scientific data

main
labplot-data

data files for labplot

main
ladr4-apps

the LADR deduction library, miscellaneous applications

main
lcalc

program for calculating with L-functions

main
libadmesh1

Tool for processing triangulated solid meshes. Shared library

main
libcantor-pythonbackend

Base Python backend for Cantor

main
libcdd-tools

Programs using libcdd

main
libflint-2.5.2

C library for number theory, shared library

main
libfrobby0

Computations with monomial ideals (shared library)

main
libgf2x1

Routines for fast arithmetic in GF(2)[x]

main
libglpk40

linear programming kit with integer (MIP) support

main
libgts-bin

utility binaries for libgts

main
liblfunction0

library for calculating with L-functions

main
liblrs0

package to enumerate vertices and extreme rays (shared libraries)

main
libquadrule1

Quadrature rules and numerical integration routines

main
libreoffice-nlpsolver

"Solver for Nonlinear Programming" extension for LibreOffice

main
libreoffice-nlpsolver

"Solver for Nonlinear Programming" extension for LibreOffice

main
librw0

Compute rank-width and rank-decompositions of graphs

main
libsbml5-octave

System Biology Markup Language library - Octave bindings

main
lie

Computer algebra package for Lie group computations

main
lp-solve

Solve (mixed integer) linear programming problems

main
lrcalc

programs for calculating Littlewood-Richardson coefficients

main
lrslib

package to enumerate vertices and extreme rays of a convex polyhedron

main
mandelbulber2

3D fractal renderer and animator

main
mandelbulber2-data

3D fractal renderer and animator - data files

main
maria

reachability analyzer for Algebraic System Nets

main
mate-calc

MATE desktop calculator

main
mate-calc-common

MATE desktop calculator (common files)

main
mathomatic

portable Computer Algebra System (CAS)

main
mathomatic-primes

prime number tools for mathomatic

main
mathpiper

Java Computer Algebra System

main
matlab2tikz

converter of Octave plots to TikZ figures (for integration into LaTeX)

main
maxima

Computer algebra system -- base system

main
maxima-emacs

Computer algebra system -- emacs interface

main