• SageMath

  • Referenced in 1856 articles [sw00825]
  • extremely strong emphasis on openness, community, cooperation, and collaboration: we are building...
  • Nuprl

  • Referenced in 390 articles [sw06751]
  • flexible knowledge base and supports the cooperation of independent formal tools...
  • CVC4

  • Referenced in 111 articles [sw09485]
  • combination. CVC4 is the fourth in the Cooperating Validity Checker family of tools...
  • Reo

  • Referenced in 86 articles [sw06353]
  • compositional construction of connectors that orchestrate the cooperative behavior of instances of components or services...
  • MACS-VRPTW

  • Referenced in 83 articles [sw06303]
  • second colony minimizes the traveled distances. Cooperation between colonies is performed by exchanging information through...
  • LEO-II

  • Referenced in 51 articles [sw00512]
  • higher-order theorem prover designed for fruitful cooperation with specialist provers for natural fragments ... order logic. At present LEO-II can cooperate with TPTP compliant first-order automated theorem...
  • CVC

  • Referenced in 48 articles [sw09462]
  • cooperating validity checker. Decision procedures for decidable logics and logical theories have proven ... verification. This paper describes the CVC (“Cooperating Validity Checker”) decision procedure. CVC implements a framework...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • composed of many separate programs that cooperate in the construction and analysis of PN models...
  • CVC Lite

  • Referenced in 55 articles [sw07581]
  • site for the current version of CVC. -------------- Cooperating theorem provers: a case study combining...
  • kappalab

  • Referenced in 50 articles [sw06086]
  • framework of multicriteria decision making or cooperative game theory...
  • ECOS

  • Referenced in 45 articles [sw12123]
  • solution methods have been developed in cooperation with Prof. Stephen Boyd of Stanford University...
  • SINTEF

  • Referenced in 37 articles [sw02984]
  • developed by the department in cooperation with NORSKOG, Norges Skogeierforbund and the Department of Forest...
  • EasyLocal++

  • Referenced in 37 articles [sw04104]
  • framework is composed of a set of cooperating classes, which belong to five main categories...
  • Slatec

  • Referenced in 35 articles [sw04367]
  • Energy Laboratories. The objective is to cooperatively assemble and install at each site a mathematical...
  • ABS

  • Referenced in 31 articles [sw21211]
  • asynchronous method calls, interfaces for encapsulation, and cooperative scheduling of method activations inside concurrent objects...
  • KQML

  • Referenced in 31 articles [sw29718]
  • systems to share knowledge in support of cooperative problem solving. KQML focuses on an extensible...
  • OpenModelica

  • Referenced in 27 articles [sw19753]
  • developer to participate in the project and cooperate around OpenModelica, tools, and applications...
  • MCPSO

  • Referenced in 17 articles [sw30149]
  • MCPSO: a multi-swarm cooperative particle swarm optimizer. A new optimization algorithm -- MCPSO, multi-swarm ... cooperative particle swarm optimizer, inspired by the phenomenon of symbiosis in natural ecosystems. MCPSO...
  • RSBR_

  • Referenced in 19 articles [sw02934]
  • Meningitis data mining by cooperatively using GDT-RS and RSBR. This paper describes an application...
  • PRISM-games

  • Referenced in 19 articles [sw12934]
  • synthesis for probabilistic systems with competitive or cooperative behaviour. Models are described in a probabilistic...