• 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 vis-sim, space, scientific, oil-gas, 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 large-scale 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]
  • graph-based clustering technique rooted in the evolutionary game theory that starts gaining lots...
  • Jerboa

  • Referenced in 1 article [sw10051]
  • Jerboa: a graph transformation library for topology-based geometric modeling. Many software systems have ... manipulation of geometric objects: video games, CGI movie effects, computer-aided design, computer simulationsdots ... modeler: geometric objects are defined by a graph-based 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 one-shot to repeated and graph-based structures. The solution concept is a generic...
  • TI-84

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