• eclingo

  • Referenced in 4 articles [sw39883]
  • eclingo solving process follows a guess and check strategy. It first generates potential truth values...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • develop a strategy that makes an initial simple guess at a bisimulation and then uses ... motivated by a critic, to refine this guess, so that a larger class of coinductive ... automatically verified. The implementation of this strategy has focused on the use of coinduction...
  • ALADINS

  • Referenced in 11 articles [sw09563]
  • reliable a posteriori error estimator. Typical strategies are based on the combination of the solutions ... obtained by computing intermediate low-order guesses. The difference between the two estimates provide...
  • DivideMix

  • Referenced in 1 article [sw42305]
  • MixMatch strategy by performing label co-refinement and label co-guessing on labeled and unlabeled...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • VODE

  • Referenced in 207 articles [sw01005]
  • VODE: A variable-coefficient ODE solver. This paper...
  • ASSAT

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

  • Referenced in 42 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • RODAS

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • Walksat

  • Referenced in 209 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • CFSQP

  • Referenced in 61 articles [sw04658]
  • CFSQP Version 2.5: A C Code for Solving...
  • Ipopt

  • Referenced in 740 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...
  • minpack

  • Referenced in 732 articles [sw05310]
  • Notes on optimization software. This paper is an...
  • bvp4c

  • Referenced in 299 articles [sw06178]
  • MATLAB-bvp4c -Solve boundary value problems for ordinary...
  • LBlock

  • Referenced in 45 articles [sw06569]
  • LBlock: a lightweight block cipher. In this paper...
  • OEIS

  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • JAGS

  • Referenced in 247 articles [sw08040]
  • JAGS is Just Another Gibbs Sampler. It is...
  • spongent

  • Referenced in 21 articles [sw08445]
  • spongent: A Lightweight Hash Function. This paper proposes...