
ZTree
 Referenced in 659 articles
[sw11707]
 programming of normal form games, extensive form games, double auctions, or clock auctions, for example ... software in 1998, and have continually added new features...

ForMaRE
 Referenced in 3 articles
[sw08774]
 first project year, we continued earlier game theory studies but then focused on auctions, where...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 evolution of both theory and codes. Homotopy (continuation) methods are a principal tool for such ... compatible with it. The middle game of following a homotopy path is well understood...

BEDFix
 Referenced in 9 articles
[sw04469]
 variables. The function must be Lipschitz continuous with constant 1 with respect to the infinity ... functions are commonly found in economics and game theory. The computed approximation satisfies a residual ... worstcase bound. BEDFix works for nonsmooth continuous functions, unlike methods that require gradient information...

Algorithm 848
 Referenced in 2 articles
[sw04408]
 rectangular domain, and is Lipschitz continuous with respect to the infinity norm with constant ... PFix has applications in economics, game theory, and the solution of partial differential equations. PFix...

Nuendo
 Referenced in 1 article
[sw40991]
 Nuendo is the choice of film, TV, game audio and immersive sound industry professionals worldwide ... with high end — often unique — capabilities that continue an ongoing revolution in audio and media...

POREM
 Referenced in 1 article
[sw00726]
 Package for policy optimisation of linear dynamic, continuoustime models with constant coefficients and rational ... possible to allow for hierarchical games, that is to allow for a group of Stackelberg...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

DCUHRE
 Referenced in 25 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 120 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

HSL
 Referenced in 284 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...