
Haskell
 Referenced in 879 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

CHEVIE
 Referenced in 237 articles
[sw04235]
 CHEVIE is a computer algebra project for symbolic...

4ti2
 Referenced in 146 articles
[sw04379]
 A software package for algebraic, geometric and combinatorial...

Kenzo
 Referenced in 65 articles
[sw04861]
 The Kenzo program implements the general ideas of...

HOL
 Referenced in 588 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

CafeOBJ
 Referenced in 171 articles
[sw06232]
 CafeOBJ as a tool for behavioral system verification...

Maude
 Referenced in 698 articles
[sw06233]
 Maude is a highperformance reflective language and...

Binomials.m2
 Referenced in 37 articles
[sw06695]
 Binomials.m2, a package for Macaulay2 to compute primary...

OEIS
 Referenced in 4187 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

FourTiTwo
 Referenced in 8 articles
[sw07615]
 Finiteness theorems and algorithms for permutation invariant chains...

automata
 Referenced in 14 articles
[sw07632]
 The Automata package, as its name suggests, is...

orb
 Referenced in 12 articles
[sw07720]
 GAP package orb. The orb package is about...

GBNP
 Referenced in 22 articles
[sw07724]
 GBNP, A GAP package for Gröbner bases of...

Traces
 Referenced in 182 articles
[sw07823]
 Search Space Contraction in Canonical Labeling of Graphs...

DIMACS
 Referenced in 571 articles
[sw08221]
 The DIMACS Implementation Challenges address questions of determining...

Z
 Referenced in 282 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book...

MDSpackage
 Referenced in 13 articles
[sw14423]
 A software package for Mori dream spaces. Mori...

Python
 Referenced in 2049 articles
[sw14460]
 Python is a widely used highlevel, general...