-
ZEAL
- Referenced in 16 articles
[sw01033]
- ZEAL is a general purpose package for computing...
-
ZEBEC
- Referenced in 8 articles
[sw01034]
- A reliable and portable software package, called ZEBEC...
-
AUTO
- Referenced in 943 articles
[sw01059]
- AUTO is a software for continuation and bifurcation...
-
PRISM
- Referenced in 442 articles
[sw01186]
- PRISM: Probabilistic symbolic model checker. In this paper...
-
ML
- Referenced in 522 articles
[sw01218]
- ML (’Meta Language’) is a general-purpose functional...
-
QUADPACK
- Referenced in 264 articles
[sw01236]
- Fortran subprograms for evaluating definite integrals of functions...
-
CP-nets
- Referenced in 138 articles
[sw01374]
- CP-nets (Condition Preference Nets) is a tool...
-
FreeFem++
- Referenced in 1369 articles
[sw01436]
- FreeFem++ is an implementation of a language dedicated...
-
HiLog
- Referenced in 51 articles
[sw01580]
- HiLog: A foundation for higher-order logic programming...
-
LOQO
- Referenced in 211 articles
[sw02212]
- LOQO: An interior point code for quadratic programming...
-
ASSAT
- Referenced in 175 articles
[sw02524]
- ASSAT (Answer Sets by SAT solvers) is a...
-
ANTLR
- Referenced in 67 articles
[sw03062]
- ANTLR (ANother Tool for Language Recognition) is a...
-
PVS
- Referenced in 633 articles
[sw03484]
- PVS is a verification system: that is, a...
-
Haskell
- Referenced in 884 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
-
INTLAB
- Referenced in 472 articles
[sw04004]
- INTLAB is the Matlab toolbox for reliable computing...
-
AztecOO
- Referenced in 79 articles
[sw04027]
- AztecOO provides an object-oriented interface the the...
-
NLEVP
- Referenced in 137 articles
[sw04058]
- NLEVP: A Collection of Nonlinear Eigenvalue Problems. This...
-
UCI-ml
- Referenced in 3435 articles
[sw04074]
- UC Irvine Machine Learning Repository. We currently maintain...
-
RODAS
- Referenced in 1757 articles
[sw04112]
- Rosenbrock method of order 4(3), for problems...
