spreadsheet application for GNOME - additional plugins

Command-line driven interactive plotting program.

Transition Package, gnuplot-mode to elpa-gnuplot-mode

Command-line driven interactive plotting program. No-X package

Command-line driven interactive plotting program. QT-package

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

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)