Contents of section "math" in suite "landing"

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
lcalc

program for calculating with L-functions

main
libaac-tactics-coq

Coq tactics for reasoning modulo AC (theories)

main
libadmesh1

Tool for processing triangulated solid meshes. Shared library

main
libcdd-tools

Programs using libcdd

main
libflint-2.5.2

C library for number theory, shared library

main
libfloat-coq

Coq library on floating-point arithmetic

main
libfp16-dev

Conversion to/from half-precision floating point formats

main
libfrobby0

Computations with monomial ideals (shared library)

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
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
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
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
metis

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

main
ministat

simple tool for statistical comparison of data sets

main