
MetaGame
 Referenced in 10 articles
[sw00572]
 winning strategy in a graph game derived from the model checking instance. However, winning strategies ... modal μcalculus model checking games on finite graphs. MetaGame allows the user to play...

PRALINE
 Referenced in 7 articles
[sw12912]
 compute Nash equilibria in games played over graphs. We consider concurrent games: at each step...

GAVS
 Referenced in 3 articles
[sw00323]
 winner of a game played on a finite graph. In this paper, we introduce GAVS ... some of the most fundamental games on finite graphs used in theoretical computer science, including ... graphical editor for both defining game graphs and also visualizing the computation of the winning...

ChessY
 Referenced in 1 article
[sw27543]
 visualization and analysis of positional chess graphs. The game of chess is undoubtedly ... Portable Game Notation (PGN) chess records and their translation into positional chess graphs, thus opening ... systematic analysis of chess games within the powerful confines of graph theory using Mathematica...

OpenSceneGraph
 Referenced in 9 articles
[sw15833]
 developers in fields such as visual simulation, games, virtual reality, scientific visualization and modelling. Written ... scene graph technology, used widely in the vissim, space, scientific, oilgas, games...

Leonardo
 Referenced in 6 articles
[sw29857]
 algorithms (sorting algorithms, graph algorithms etc.) to graphical demos and even games such as Tetris...

TrueSkill
 Referenced in 21 articles
[sw21717]
 approximate message passing on a factor graph representation of the model. We present experimental evidence ... running in a largescale commercial online gaming service under the name of TrueSkill...

egforui
 Referenced in 1 article
[sw05869]
 machine learning based on Evolutionary Game Theory on directed graphs. It is able to segment ... paper ”A Novel Clustering Algorithm Based Upon Games on Evolving Network”, published...

DSLib
 Referenced in 1 article
[sw35560]
 graphbased clustering technique rooted in the evolutionary game theory that starts gaining lots...

Jerboa
 Referenced in 1 article
[sw10051]
 Jerboa: a graph transformation library for topologybased geometric modeling. Many software systems have ... manipulation of geometric objects: video games, CGI movie effects, computeraided design, computer simulationsdots ... modeler: geometric objects are defined by a graphbased topological data structure...

GamePlan
 Referenced in 1 article
[sw12785]
 design and solve a wide range of game models from the normal to the extensive ... from oneshot to repeated and graphbased structures. The solution concept is a generic...

TI84
 Referenced in 4 articles
[sw06909]
 that this produces, from science classes, to games, to calculus to note taking (when ... initially released, users noticed the speed of graphing was greatly reduced. The explanation was that...

VisiLibity
 Referenced in 1 article
[sw33404]
 include, e.g., manufacturing, facility location, architectural/urban planning, games, and education. The entire library consists only ... environments with polygonal holes: visibility polygons; visibility graphs; Euclidean shortest paths for a point; Python...

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

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

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

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

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

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