Contents of section "math" in suite "byzantium"

libxnnpack0

High-efficiency floating-point neural network inference operators (libs)

main
libxnnpack-dev

High-efficiency floating-point neural network inference operators (dev)

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
lybniz

mathematical function graph plotter

main
macaulay2

Software system for algebraic geometry research

main
macaulay2-common

Software system for algebraic geometry research (common files)

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
mathicgb

Compute Groebner bases (command line tool)

main
mathomatic

portable Computer Algebra System (CAS)

main
mathomatic-primes

prime number tools for mathomatic

main
mathpiper

Java Computer Algebra System

main
matio-tools

MATLAB MAT File I/O Library - command-line tools

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
maxima-sage

Computer algebra system -- base system

main
maxima-sage-share

Computer algebra system -- extra code

main
maxima-share

Computer algebra system -- extra code

main
maxima-src

Computer algebra system -- source code

main
maxima-test

Computer algebra system -- test suite

main
mcl

Markov Cluster algorithm

main
metamath

Language for mathematical proofs

main
metamath-databases

Sample databases for Metamath

main
metis

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

main
ministat

simple tool for statistical comparison of data sets

main
minlog

Proof assistant based on first order natural deduction calculus

main
mongoose

graph partitioning tool that can quickly compute edge cuts (executable)

main
mplrs

package to enumerate vertices and extreme rays of a convex polyhedron (parallel binary)

main
mumps-test

Example/test binaries using MUMPS

main
nauty

library for graph automorphisms -- interface and tools

main
netgen

Automatic 3d tetrahedral mesh generator

main
normaliz

math computing tools for affine monoids, rational polytopes and cones

main
normaliz-bin

math computing tools for affine monoids, rational polytopes and cones - bin

main
num-utils

programs for dealing with numbers from the command line

main
octave

GNU Octave language for numerical computations

main
octave-arduino

Octave Arduino Toolkit

main
octave-audio

MIDI functions for Octave

main
octave-bim

PDE solver using a finite element/volume approach in Octave

main
octave-bsltl

biospeckle laser tool library for Octave

main
octave-cgi

Common Gateway Interface for Octave

main
octave-common

architecture-independent files for octave

main
octave-communications

communications package for Octave

main
octave-communications-common

communications package for Octave (arch-indep files)

main