Contents of section "Mathematics" in suite "dawn"

gap-factint

advanced methods for factoring integers for GAP

main
gap-fga

GAP FGA - Free Group Algorithms

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-hap

GAP HAP - Homological Algebra Programming

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-nq

GAP nq - Nilpotent Quotients of Finitely Presented Groups

main
gap-online-help

GAP computer algebra system, online help

main
gap-openmath

OpenMath phrasebook for GAP

main
gappa

Automatic generation of proofs of arithmetic properties

main
gap-polycyclic

GAP Polycyclic - Computation with polycyclic groups

main
gap-primgrp

GAP PrimGrp - GAP Primitive Permutation Groups Library

main
gap-radiroot

GAP RadiRoot - Roots of a Polynomial as Radicals

main
gap-scscp

SCSCP protocol in GAP

main
gap-smallgrp

GAP SmallGrp - The GAP Small Groups Library

main
gap-smallgrp-extra

GAP SmallGrp - The GAP Small Groups Library

main
gap-sonata

Systems Of Nearrings And Their Applications for GAP

main
gap-table-of-marks

GAP TomLib - The GAP Library of Tables of Marks

main
gap-toric

toric variety for GAP

main
gap-transgrp

GAP TransGrp - Transitive Groups Library

main
gap-utils

GAP utils - Utility functions in GAP

main
geg

GTK+ Equation Grapher

main
geneagrapher

Create tree from Mathematics Genealogy Project (executable)

main
geomview

interactive geometry viewing program

main
getdp

general environment for the treatment of discrete problems

main
getdp-sparskit

general environment for the treatment of discrete problems

main
gfan

program for computing with Groebner fans

main
ggobi

Data visualization system for high-dimensional data

main
ginac-tools

GiNaC symbolic framework support tools

main
glpk-utils

linear programming kit - utility files

main
gmp-ecm

Factor integers using the Elliptic Curve Method

main
gmsh

Three-dimensional finite element mesh generator

main
gnome-calculator

GNOME desktop calculator

main
gnuplot

Command-line driven interactive plotting program.

main
gnuplot-mode

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

main
gnuplot-nox

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

main
gnuplot-qt

Command-line driven interactive plotting program. QT-package

main
gnuplot-x11

Command-line driven interactive plotting program. X-package

main
grace

XY graphing and plotting tool

main
gsl-bin

GNU Scientific Library (GSL) -- binary package

main
hera-utils

Utilities built from the Hera library

main
hol88

Higher Order Logic, system image

main
hol88-contrib-help

Higher Order Logic, user contributed online help files

main
hol88-contrib-source

Higher Order Logic, user contributed source

main
hol88-help

Higher Order Logic, online help files

main