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

BioPEPA
 Referenced in 108 articles
[sw01361]
 originally deﬁned 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...

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

IF2.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 realtime 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...