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