sheaf cohomology of line bundles on toric varieties

sheaf cohomology of line bundles on toric varieties (common files)

console calculator

proof assistant for higher-order logic (toplevel and compiler)

proof assistant for higher-order logic (theories)

automated theorem prover for SMT problems

GNU dc arbitrary precision reverse-polish calculator

Calculator for DDE (Deepin Desktop Environment)

evaluate the statistical distribution of dice rolls

Executable scripts for DOLFIN

platform for handling a wide class of economic models

Programs for modular symbols and elliptic curves over Q

Euclidean geometry drawing language

interactive mathematical programming environment

Surface Evolver

Surface Evolver - with no X support

Surface Evolver - with OpenGL display

Automated Solution of Differential Equations

Finite field linear algebra subroutines/package

Finite field linear algebra subroutines/package - common files

Program using quadratic sieve to factor integers

Tools to compute LLL-reduction of Euclidian lattices

PDE oriented language using Finite Element Method

Provides the binaries of the FreeFem++ FE suite

Example files for FreeFEM

mathematics framework (mostly matlab compatible)

freemat data files

freemat help files

Computations with monomial ideals

scientific calculator

computer algebra system for Groups, Algorithms and Programming

GAP Alnuth - Algebraic number theory and an interface to PARI/GP

GAP AtlasRep - A GAP Interface to the Atlas of Group Representations

GAP AutoDoc - Generate documentation from GAP source code

GAP AutPGrp - Computing the Automorphism Group of a p-Group

GAP Library of character tables

GAP computer algebra system, core components

block designs for GAP

advanced methods for factoring integers for GAP

multi-precision floating-point computation for GAP

GAPDoc - A Meta Package for GAP Documentation

GRaph Algorithms using PErmutation groups for GAP

coding theory library for GAP

coding theory library for GAP (arch-dep files)

low level C library IO bindings for GAP

LAGUNA GAP package

GAP computer algebra system, essential GAP libraries

GAP computer algebra system, online help

OpenMath phrasebook for GAP

GAP Polycyclic - Computation with polycyclic groups