• GAP

  • Referenced in 3221 articles [sw00320]
  • system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... their representations, rings, vector spaces, algebras, combinatorial structures, and more. The system, including source...
  • KEGG

  • Referenced in 281 articles [sw13866]
  • level functions and utilities of the biological system, such as the cell, the organism ... information. It is a computer representation of the biological system, consisting of molecular building blocks...
  • LMI toolbox

  • Referenced in 1468 articles [sw06383]
  • areas ranging from control engineering to system identification and structural design. The LMI Control Toolbox ... future. Thanks to its efficient “structured” representation of LMIs, the LMI Control Toolbox is geared...
  • Racer

  • Referenced in 66 articles [sw09837]
  • Racer is a knowledge representation system that implements a highly optimized tableau calculus...
  • Bio-PEPA

  • Referenced in 108 articles [sw01361]
  • originally defined for the performanceanalysis of computer systems, in order to handle some features ... intermediate, formal, compositional representation of biological systems, on which different kindsof analysis can be carried...
  • ShearLab

  • Referenced in 53 articles [sw06721]
  • most of the various directional representation systems which have been proposed to deliver sparse approximations...
  • UMFPACK

  • Referenced in 421 articles [sw00989]
  • matrix, computing the numerical factorization, solving a system with the LU factors, transposing and permuting ... sparse matrix, and converting between sparse matrix representations.\parThe simple user interface shields the user...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • oriented programming system is also used as the basis for statistical model representations, such ... generalized linear models. Many aspects of the system design were motivated by the S language...
  • PORTA

  • Referenced in 127 articles [sw04869]
  • system of linear equations and inequalities. The name PORTA is an abbreviation for POlyhedron Representation ... representation. For this, ’traf’ uses a Fourier - Motzkin elimination algorithm which projects a linear system...
  • APMC

  • Referenced in 29 articles [sw11483]
  • verification of probabilistic systems. However, the representation of the transition matrix may be expensive ... algorithm requires only a succinct representation of the system and is based on an execution...
  • Oz

  • Referenced in 117 articles [sw06799]
  • reasoning and knowledge representation, processing of natural language, simulations, multi agent systems, and sophisticated graphical...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • open validation platform for timed asynchronous systems (such as telecommunication protocols or distributed applications ... toolbox was built upon an intermediate representation language based on extended timed automata. In particular ... representation allowed us to study the semantics of real-time primitives for asynchronous systems. Currently ... nature of the intermediate representation prevents the analysis of dynamic systems. More exactly, primitive operations...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • important components of the system include an efficient color representation, and indexing of color, texture...
  • LiE

  • Referenced in 165 articles [sw01075]
  • group theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... structure of their Weyl groups and root systems. LiE does not compute directly with elements...
  • LieART

  • Referenced in 58 articles [sw08573]
  • representations. LieART can handle all classical and exceptional Lie algebras. It computes root systems ... algebras, weight systems and several other properties of irreducible representations. LieART’s user interface...
  • mCRL2

  • Referenced in 58 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2. It is a specification language that ... specify and analyse the behaviour of distributed systems and protocols and is the successor...
  • DLV

  • Referenced in 33 articles [sw04640]
  • contradictory knowledge. The first release of the system became available in 1997, after several years ... among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long lasting theoretical and implementation...
  • FOXBOX

  • Referenced in 17 articles [sw00307]
  • symbolic objects in black box representation. The FOXBOX system puts in practice the black ... factor. We establish that the black box representation of objects can push the size ... generic program design methodology. The FOXBOX system is written in C++. C++ template arguments provide...
  • Bazi

  • Referenced in 9 articles [sw08409]
  • Calculation of apportionment methods in proportional representation systems. Keywords: Apportionment methods, Proportional representation. Areas...
  • Pfinder

  • Referenced in 80 articles [sw36676]
  • system uses a multiclass statistical model of color and shape to obtain a 2D representation...