• DEMiCs

  • Referenced in 21 articles [sw00196]
  • DEMiCs is a software package written in C...
  • D-Finder

  • Referenced in 16 articles [sw00200]
  • D-Finder tool implements a compositional method for...
  • dl2asp

  • Referenced in 3 articles [sw00208]
  • dl2asp: implementing default logic via answer set programming...
  • Epsilon

  • Referenced in 41 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • FGb

  • Referenced in 245 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FLINT

  • Referenced in 56 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • FMona

  • Referenced in 2 articles [sw00303]
  • We present a generic tool, called FMona, for...
  • FUZSIM

  • Referenced in 1 article [sw00311]
  • FUZSIM - A simulation program package for fuzzy systems...
  • GAP

  • Referenced in 3067 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GCLC

  • Referenced in 30 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • gfun

  • Referenced in 140 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 275 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • GNT

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • Grail

  • Referenced in 21 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • Boogie is a program verification condition generator for...
  • HYBRID

  • Referenced in 18 articles [sw00421]
  • Hybrid: a package for higher-order syntax in...
  • ILTP

  • Referenced in 27 articles [sw00437]
  • The Intuitionistic Logic Theorem Proving (ILTP) library provides...
  • IMITATOR

  • Referenced in 29 articles [sw00439]
  • IMITATOR is a software tool for parametric verification...