
DEMiCs
 Referenced in 21 articles
[sw00196]
 DEMiCs is a software package written in C...

DFinder
 Referenced in 16 articles
[sw00200]
 DFinder 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 higherorder specification and program development...

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

HYBRID
 Referenced in 18 articles
[sw00421]
 Hybrid: a package for higherorder 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...