Contents of section "math" in suite "byzantium"

clblast-utils

Utilities for CLBlast

main
cliquer

clique searching program

main
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
coqide

proof assistant for higher-order logic (gtk interface)

main
coq-theories

proof assistant for higher-order logic (theories)

main
cryptominisat

SAT solver command line interface

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
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
elpa-fricas

General purpose computer algebra system: emacs support

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
fenicsx

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

Example files for FreeFEM

main
fricas

General purpose computer algebra system: main binary and modules

main
fricas-databases

General purpose computer algebra system: generated text databases

main
fricas-graphics

General purpose computer algebra system: graphics subsystem

main
fricas-graphics-data

General purpose computer algebra system: graphics data

main
fricas-hypertex

General purpose computer algebra system: hypertex subsystem

main
fricas-hypertex-data

General purpose computer algebra system: hypertex data

main
fricas-source

General purpose computer algebra system: source files

main
fricas-test

General purpose computer algebra system: regression test inputs

main
frobby

Computations with monomial ideals

main
galculator

scientific calculator

main
gap

computer algebra system for Groups, Algorithms and Programming

main
gap-aclib

GAP AClib - Almost Crystallographic Groups - A Library and Algorithms

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