interactive geometry tool

mathematical function plotter for KDE

interactive graphing and analysis of scientific data

data files for labplot

program for calculating with L-functions

Coq tactics for reasoning modulo AC (theories)

Tool for processing triangulated solid meshes. Shared library

Programs using libcdd

C library for number theory, shared library

Coq library on floating-point arithmetic

Conversion to/from half-precision floating point formats

Computations with monomial ideals (shared library)

linear programming kit with integer (MIP) support

utility binaries for libgts

library for calculating with L-functions

package to enumerate vertices and extreme rays (shared libraries)

Quadrature rules and numerical integration routines

"Solver for Nonlinear Programming" extension for LibreOffice

Compute rank-width and rank-decompositions of graphs

System Biology Markup Language library - Octave bindings

Mathematical Components library for Coq

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

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

Computer algebra package for Lie group computations

Solve (mixed integer) linear programming problems

programs for calculating Littlewood-Richardson coefficients

package to enumerate vertices and extreme rays of a convex polyhedron

mathematical function graph plotter

3D fractal renderer and animator

3D fractal renderer and animator - data files

reachability analyzer for Algebraic System Nets

MATE desktop calculator

MATE desktop calculator (common files)

Compute Groebner bases (command line tool)

portable Computer Algebra System (CAS)

prime number tools for mathomatic

Java Computer Algebra System

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

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

Computer algebra system -- base system

Computer algebra system -- emacs interface

Computer algebra system -- extra code

Computer algebra system -- source code

Computer algebra system -- test suite

Markov Cluster algorithm

Language for mathematical proofs

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

simple tool for statistical comparison of data sets