Contents of section "math" in suite "byzantium"

grace

XY graphing and plotting tool

main
graphmonkey

a GTK#-based graphing calculator

main
gretl

GNU Regression, Econometric & Time-Series Library

main
gretl-common

GNU Regression, Econometric & Time-Series Library -- scripts package

main
gretl-data

GNU Regression, Econometric & Time-Series Library -- data package

main
grpn

GTK+ reverse polish notation calculator

main
grpn

GTK+ reverse polish notation calculator

main
gsl-bin

GNU Scientific Library (GSL) -- binary package

main
gudhi-utils

Utilities from the GUDHI library

main
gudhui

GUI for some of the functionality of the GUDHI library

main
hera-utils

Utilities built from the Hera library

main
hol88

Higher Order Logic, system image

main
hol88-contrib-help

Higher Order Logic, user contributed online help files

main
hol88-contrib-source

Higher Order Logic, user contributed source

main
hol88-help

Higher Order Logic, online help files

main
hol88-library

Higher Order Logic, binary library modules

main
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
hol-light

HOL Light theorem prover

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
kissfft-tools

Mixed-radix Fast Fourier Transform library (CLI tools)

main
kmplot

mathematical function plotter for KDE

main
labplot

interactive graphing and analysis of scientific data

main
labplot-data

data files for labplot

main
lcalc

program for calculating with L-functions

main
libadmesh1

Tool for processing triangulated solid meshes. Shared library

main
libcantorlibs28

interface for mathematical applications - shared library

main
libcdd-tools

Programs using libcdd

main
libfp16-dev

Conversion to/from half-precision floating point formats

main
libfrobby0

Computations with monomial ideals (shared library)

main
libgts-bin

utility binaries for libgts

main
liblfunction0

library for calculating with L-functions

main
liblrs1

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
librw0

Compute rank-width and rank-decompositions of graphs

main
libsbml5-octave

System Biology Markup Language library - Octave bindings

main
libssreflect-coq

Mathematical Components library for Coq

main