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