Higher Order Logic, system image

Higher Order Logic, user contributed online help files

Higher Order Logic, user contributed source

Higher Order Logic, online help files

Higher Order Logic, binary library modules

Higher Order Logic, library online help files

Higher Order Logic, library source files

Higher Order Logic, source files

Just Another Gibbs Sampler for Bayesian MCMC - binary

Educative program to practice fractions

Jim Plank's program for producing PostScript graphs

algebraic graphing calculator

contains files common for kalgebra and kalgebramobile

algebraic graphing calculator for small touch based interfaces

Draw tilings, frieze patterns, and so on

fraction learning aid for KDE

simple and scientific calculator

interactive geometry tool

Mixed-radix Fast Fourier Transform library (CLI tools)

mathematical function plotter for KDE

interactive graphing and analysis of scientific data

data files for labplot

Lattice point Enumeration

program for calculating with L-functions

Programs using libcdd

Coq tactics for reasoning modulo AC (theories)

Coq tactic to use Gappa for floating-point goals

Mathematical Components library for Coq (all)

Mathematical Components library for Coq (algebra)

Mathematical Components library for Coq (character)

Mathematical Components library for Coq (field)

Mathematical Components library for Coq (finite groups)

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