• 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 linear-time 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 user-specified...
  • 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...
  • ADOL-C

  • Referenced in 225 articles [sw00019]
  • ADOL-C: 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 high-level 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 general-purpose 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...