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

NIRA3
 Referenced in 3 articles
[sw08671]
 improved MATLAB package for finding Nash equilibria in infinite games. A powerful method for computing ... Nash equilibria in constrained, multiplayer 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 multiplayer 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 largescale 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 highlevel 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 generalpurpose 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...