GNU Regression, Econometric & Time-Series Library

GNU Regression, Econometric & Time-Series Library -- scripts package

GNU Regression, Econometric & Time-Series Library -- data package

GTK+ reverse polish notation calculator

GNU Scientific Library (GSL) -- binary package

Utilities from the GUDHI library

GUI for some of the functionality of the GUDHI library

Utilities built from the Hera library

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

HOL Light theorem prover

Just Another Gibbs Sampler for Bayesian MCMC - binary

Educative program to practice fractions

Jim Plank's program for producing PostScript graphs

Java based visualization library for real algebraic geometry

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