• 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...