View: jjames's Info | jjames's Packages (110)
Only packages with these acls:
<< < 1 2 > >> [show all]
DSDP -- Software for semidefinite programming
E -- Equational Theorem Prover
GAPDoc -- GAP documentation tool
TOPCOM -- Triangulations Of Point Configurations and Oriented Matroids
abe -- Scrolling, platform-jumping, ancient pyramid exploring game
alt-ergo -- Alt-Ergo automatic theorem prover
apron -- Numerical abstract domain library
auto-destdir -- Automate DESTDIR support for "make install"
automaton -- A Java finite state automata/regular expression library
azove -- Another Zero-One Vertex Enumeration tool
bigloo -- Bigloo is compiler for the Scheme programming language
bliss -- Compute automorphism groups and canonical labelings of graphs
cddlib -- A library for generating all vertices in convex polyhedrons
check -- A unit test framework for C
clisp -- Common Lisp (ANSI CL) implementation
cmusphinx3 -- Large vocabulary speech recognition in C
coq -- Coq proof management system
cryptominisat -- SAT solver
csdp -- C library for SemiDefinite Programming
csisat -- Tool for LA+EUF interpolation
cudd -- CU Decision Diagram Package
cvc3 -- Validity checker of many-sorted first-order formulas with theories
cvc4 -- Automatic theorem prover for SMT problems
ecl -- Embeddable Common-Lisp
eclib -- A Library for Doing Computations on Elliptic Curves
ffcall -- Libraries for foreign function call interfaces
fflas-ffpack -- Finite field linear algebra subroutines
flint -- Fast Library for Number Theory
flocq -- Formalization of floating point numbers for Coq
frama-c -- mathematical code validation interface
gap -- Computational discrete algebra
gap-Browse -- GAP browser for 2-dimensional arrays of data
gap-character-tables -- GAP Character Table Library
gap-io -- Unix I/O functionality for GAP
gap-sonata -- GAP package for systems of nearrings
gap-table-of-marks -- GAP Table of Marks package
gappa -- Prove programs with floating-point or fixed-point arithmetic
gappalib-coq -- Coq support library for gappa
gcl -- GNU Common Lisp
genus2reduction -- Computes Reductions of Genus 2 Proper Smooth Curves
gf2x -- polynomial multiplication over the binary field
gfan -- Software for Computing Gröbner Fans and Tropical Varieties
givaro -- C++ library for arithmetic and algebraic computations
gmp-ecm -- Elliptic Curve Method for Integer Factorization
gnofract4d -- Gnofract 4D is a Gnome-based program to draw fractals
gramps -- Genealogical Research and Analysis Management Programming System
iml -- Finds solutions to systems of linear equations over integers
irstlm -- Statistical language model tool
jacknativeclient -- Java bindings for JACK clients
javasysmon -- Java system monitor
jinput -- Java Game Controller API
latexmk -- A make-like utility for LaTeX files
latte-integrale -- Lattice point enumeration
lexertl -- Modular lexical analyzer generator
lfsc -- SMT proof checker
libedit -- The NetBSD Editline library
libfplll -- LLL-reduces euclidian lattices
libgap -- C library version of the GAP kernel
linbox -- C++ Library for High-Performance Linear Algebra
lrslib -- Reverse search for vertex enumeration/convex hull problems
ltl2ba -- Fast translation from LTL formulas to Buchi automata
m4ri -- Linear Algebra over F_2
m4rie -- Linear Algebra over F_2^e
meataxe -- Matrix representations over finite fields
minisat2 -- A minimalistic, open-source SAT solver
mona -- A decision procedure for the WS1S and WS2S logics
mpfi -- An interval arithmetic library based on MPFR
mpir -- A library for arbitrary precision arithmetic
neXtaw -- Modified version of the Athena Widgets with N*XTSTEP appearance
normaliz -- A tool for mathematical computations
ntl -- High-performance algorithms for vectors, matrices, and polynomials
ocaml-menhir -- LR(1) parser generator for OCaml
ocaml-ocamlgraph -- OCaml library for arc and node graphs
ocaml-tplib -- Tropical Polyhedra Library
ocaml-zarith -- OCaml interface to GMP
openfst -- Weighted finite-state transducer library
opengrm-ngram -- Library for making and modifying n-gram language models
perl-Text-Aspell -- Perl interface to the GNU Aspell library
permlib -- Library for permutation computations
picosat -- A SAT solver
pocketsphinx -- Real-time speech recognition
polybori -- Framework for Boolean Rings
polymake -- Algorithms on convex polytopes and polyhedra
polyml -- Poly/ML compiler and runtime system
pvs-sbcl -- Interactive theorem prover from SRI
python-ZODB3 -- Zope Object Database: Object Database and Persistence
python-cvxopt -- A Python Package for Convex Optimization
python-manuel -- Build tested documentation
python-networkx -- Creates and Manipulates Graphs and Networks
python-theano -- Mathematical expressions involving multidimensional arrays
qepcad-B -- Quantifier elimination tool
remake -- Build system that bridges the gap between make and redo
saclib -- Computer algebra library
sphinxbase -- Common library for CMU Sphinx voice recognition products
sphinxtrain -- Acoustic model trainer for CMU's Sphinx tools
stp -- Constraint solver/decision procedure
symmetrica -- A Collection of Routines for Solving Symmetric Groups
sympol -- Symmetric polyhedra tool
sympy -- A Python library for symbolic mathematics
tex-zfuzz -- Type-checker and LaTeX style for Z spec language
<< < 1 2 > >> [show all]