Higher Order Logic, library online help files
Higher Order Logic, library source files
Higher Order Logic, source files
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
mathematical function plotter for KDE
interactive graphing and analysis of scientific data
data files for labplot
the LADR deduction library, miscellaneous applications
program for calculating with L-functions
Tool for processing triangulated solid meshes. Shared library
Base Python backend for Cantor
Programs using libcdd
C library for number theory, shared library
Computations with monomial ideals (shared library)
Routines for fast arithmetic in GF(2)[x]
linear programming kit with integer (MIP) support
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
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
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)
portable Computer Algebra System (CAS)
prime number tools for mathomatic
Java Computer Algebra System
converter of Octave plots to TikZ figures (for integration into LaTeX)
Computer algebra system -- base system
Computer algebra system -- emacs interface