Contents of section "Mathematics" in suite "amber"

cohomcalg

sheaf cohomology of line bundles on toric varieties

main
cohomcalg-common

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

main
concalc

console calculator

main
coq

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

main
coq-theories

proof assistant for higher-order logic (theories)

main
cvc4

automated theorem prover for SMT problems

main
dc

GNU dc arbitrary precision reverse-polish calculator

main
deepin-calculator

Calculator for DDE (Deepin Desktop Environment)

main
dicelab

evaluate the statistical distribution of dice rolls

main
dolfin-bin

Executable scripts for DOLFIN

main
dynare

platform for handling a wide class of economic models

main
eclib-tools

Programs for modular symbols and elliptic curves over Q

main
eukleides

Euclidean geometry drawing language

main
euler

interactive mathematical programming environment

main
evolver

Surface Evolver

main
evolver-nox

Surface Evolver - with no X support

main
evolver-ogl

Surface Evolver - with OpenGL display

main
fenics

Automated Solution of Differential Equations

main
fflas-ffpack

Finite field linear algebra subroutines/package

main
fflas-ffpack-common

Finite field linear algebra subroutines/package - common files

main
flintqs

Program using quadratic sieve to factor integers

main
fplll-tools

Tools to compute LLL-reduction of Euclidian lattices

main
freefem

PDE oriented language using Finite Element Method

main
freefem++

Provides the binaries of the FreeFem++ FE suite

main
freefem-examples

Example files for FreeFEM

main
freemat

mathematics framework (mostly matlab compatible)

main
freemat-data

freemat data files

main
freemat-help

freemat help files

main
frobby

Computations with monomial ideals

main
galculator

scientific calculator

main
gap

computer algebra system for Groups, Algorithms and Programming

main
gap-alnuth

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

main
gap-atlasrep

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

main
gap-autodoc

GAP AutoDoc - Generate documentation from GAP source code

main
gap-autpgrp

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

main
gap-character-tables

GAP Library of character tables

main
gap-core

GAP computer algebra system, core components

main
gap-design

block designs for GAP

main
gap-factint

advanced methods for factoring integers for GAP

main
gap-float

multi-precision floating-point computation for GAP

main
gap-gapdoc

GAPDoc - A Meta Package for GAP Documentation

main
gap-grape

GRaph Algorithms using PErmutation groups for GAP

main
gap-guava

coding theory library for GAP

main
gap-guava-bin

coding theory library for GAP (arch-dep files)

main
gap-io

low level C library IO bindings for GAP

main
gap-laguna

LAGUNA GAP package

main
gap-libs

GAP computer algebra system, essential GAP libraries

main
gap-online-help

GAP computer algebra system, online help

main
gap-openmath

OpenMath phrasebook for GAP

main
gap-polycyclic

GAP Polycyclic - Computation with polycyclic groups

main