Command-line driven interactive plotting program. X-package

XY graphing and plotting tool

a GTK#-based graphing calculator

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

Interactive symbolic math system

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

program for calculating with L-functions

Tool for processing triangulated solid meshes. Shared library

interface for mathematical applications - shared library

Programs using libcdd

Conversion to/from half-precision floating point formats

Computations with monomial ideals (shared library)

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