• Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose 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 high-performance reflective language and...
  • OEIS

  • Referenced in 4187 articles [sw07248]
  • The On-Line 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...
  • Python

  • Referenced in 2049 articles [sw14460]
  • Python is a widely used high-level, general...