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)

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 -- base system

Computer algebra system -- extra code

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

program to perform Lucas-Lehmer test on a Mersenne number

transitional dummy package for suitesparse-mongoose

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

computer algebra algorithms for solving polynomial systems

Example/test binaries using MUMPS

library for graph automorphisms -- interface and tools

Automatic 3d tetrahedral mesh generator

math computing tools for affine monoids, rational polytopes and cones

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

CLI for numbat, a programming language for scientific computations

programs for dealing with numbers from the command line

GNU Octave language for numerical computations

Octave Arduino Toolkit

MIDI functions for Octave

PDE solver using a finite element/volume approach in Octave

biospeckle laser tool library for Octave