• PRALINE

  • Referenced in 4 articles [sw12912]
  • PRALINE: A tool for computing Nash equilibria in concurrent games. We present PRALINE, which ... first tool to compute Nash equilibria in games played over graphs. We consider concurrent games ... Büchi objectives. PRALINE looks for pure Nash equilibria in these games. It can construct...
  • NIRA-3

  • Referenced in 3 articles [sw08671]
  • improved MATLAB package for finding Nash equilibria in infinite games. A powerful method for computing ... Nash equilibria in constrained, multi-player games is created when the relaxation algorithm...
  • Game Theory Explorer

  • Referenced in 2 articles [sw12784]
  • algorithms then compute all Nash equilibria of the game after a mouseclick. In tutorial fashion...
  • ChoiceGAPs

  • Referenced in 1 article [sw20612]
  • other situations. We define multi-player Nash equilibrium for such programs -- but because they require ... that strong equilibria can capture all Nash equilibria. We prove a host of complexity (intractability...
  • LemkeHowson

  • Referenced in 1 article [sw22505]
  • function for computing mixed Nash equilibria in bimatrix games. Matlab Central File Exchange, 2013. This ... function computes a sample mixed strategy Nash equilibrium in a bimatrix game. This function implements...
  • PathAVI

  • Referenced in 1 article [sw23744]
  • applications in friction contact and Nash Equilibria. PathAVI is a general purpose solver, and freely...
  • Coq

  • Referenced in 1522 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Kronecker

  • Referenced in 68 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LANCELOT

  • Referenced in 263 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • Maple

  • Referenced in 4690 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 10 articles [sw00572]
  • Failing model checking runs should be accompanied by...
  • PHCpack

  • Referenced in 184 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • PSwarm

  • Referenced in 53 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global...
  • QPCOMP

  • Referenced in 31 articles [sw00757]
  • QPCOMP is an extremely robust algorithm for solving...
  • REDUCE

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

  • Referenced in 1195 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Sostools

  • Referenced in 234 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...