
ArgoCLP
 Referenced in 11 articles
[sw07192]
 formulae is restricted to the universal quantification of an implication in which the antecedent...

Datalog LITE
 Referenced in 10 articles
[sw28894]
 occurrences and a limited form of universal quantification in rule bodies. Despite lineartime evaluation...

Succinct
 Referenced in 5 articles
[sw09703]
 universe and the extent to which universal quantification is allowed. A number of transformation strategies...

GRAQULA
 Referenced in 2 articles
[sw02637]
 nesting, and can involve existential or universal quantification. Aggregates (e.g. average) also have userspecified...

HOL2P
 Referenced in 4 articles
[sw21180]
 types $T$ that do not contain any universal types. This constraint ensures the existence ... operators adds genericity to theorems. Type variable quantification can also be expressed.par A prototype...

BSMART
 Referenced in 5 articles
[sw07381]
 Atlantic University, and Dr. Mingzhou Ding at University of Florida. BSMART can be applied ... that has been long developed for statistical quantification of brain connectivity on different time scales...

Vadalog
 Referenced in 2 articles
[sw33095]
 based reasoning in the presence of existential quantification is in general undecidable. Many efforts have ... research programme, a joint effort of the universities of Oxford, Manchester and Edinburgh and around...

ecospat
 Referenced in 0 articles
[sw17524]
 post modelling analyses of species distribution, niche quantification and community assembly. Written by current ... Institute of Earth Surface Dynamics (IDYST), University of Lausanne, Switzerland...

ADOLC
 Referenced in 225 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

Coq
 Referenced in 1758 articles
[sw00161]
 Coq is a formal proof management system. It...

MATCONT
 Referenced in 340 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5756 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11649 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Nitpick
 Referenced in 57 articles
[sw00622]
 Nitpick is a counterexample generator for Isabelle/HOL that...

R
 Referenced in 7785 articles
[sw00771]
 R is a language and environment for statistical...

AUTO
 Referenced in 841 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

ML
 Referenced in 502 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

FreeFem++
 Referenced in 963 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

WordNet
 Referenced in 384 articles
[sw01777]
 WordNet® is a large lexical database of English...