Mathematical Components library for Coq (finite groups II)

Mathematical Components library for Coq (small scale reflection)

proof assistant for higher-order logic (theories)

Conversion to/from half-precision floating point formats

division via fixed-point multiplication by inverse

utility binaries for libgts

package to enumerate vertices and extreme rays (shared libraries)

Java library to do mathematics, linear algebra and optimisation

"Solver for Nonlinear Programming" extension for LibreOffice

System Biology Markup Language library - Octave bindings

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

Software system for algebraic geometry research

Software system for algebraic geometry research (common files)

Jupyter kernel for Macaulay2

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)

supporting tool for Lean mathlib

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

Sample databases for Metamath

Serial Graph Partitioning and Fill-reducing Matrix Ordering. Binaries

simple tool for statistical comparison of data sets

Proof assistant based on first order natural deduction calculus

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

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

Example/test binaries using MUMPS

library for graph automorphisms -- interface and tools

Automatic 3d tetrahedral mesh generator