Results 1 to 20 of 44
Sort by:

  • AIGSolve
  • Referenced in 2 articles [sw25923]
  • eliminated, starting with the inner-most quantifiers. Intermediate results are represented symbolically using AIGs ... basic method consists of cofactorbased quantifier elimination which is combined with a multitude of optimization...

  • trigger
  • Referenced in 1 article [sw36166]
  • involve some combination of: genotypes, high-dimensional intermediate traits (e.g., gene expression, protein abundance ... locus linkage (epistasis) for gene expression; (3) quantify the proportion of genome-wide variation explained...

  • FLEXPART
  • Referenced in 1 article [sw38387]
  • accurate for small-scale applications, e.g., to quantify dispersion in the vicinity of a point ... more accurate simulations for species with intermediate lifetimes against the reaction with OH, such...

  • Maple
  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...

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

  • Matlab
  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • MiniSat
  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...

  • REDUCE
  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...

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

  • MACSYMA
  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...

  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • COBOL
  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...

  • Ada95
  • Referenced in 293 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...

  • ASSAT
  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...

  • SQEMA
  • Referenced in 39 articles [sw03056]
  • Algorithmic correspondence and completeness in modal logic. IV...

  • SPIN
  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...

  • PVS
  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...

  • Haskell
  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

  • RSOLVER
  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...