
LiE
 Referenced in 137 articles
[sw01075]
 nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups and algebras...

LMI toolbox
 Referenced in 1312 articles
[sw06383]
 should be kept in mind that the complexity of LMI computations remains higher than that ... future. Thanks to its efficient “structured” representation of LMIs, the LMI Control Toolbox is geared...

UMFPACK
 Referenced in 277 articles
[sw00989]
 representations.\parThe simple user interface shields the user from the details of the complex sparse...

IF2.0
 Referenced in 46 articles
[sw03303]
 widely recognised that the automated validation of complex systems can hardly be achieved without tool ... toolbox was built upon an intermediate representation language based on extended timed automata. In particular ... this representation allowed us to study the semantics of realtime primitives for asynchronous systems ... mandatory for an automated validation of complex systems. Finally, the toolbox was successfully used...

bnsoft
 Referenced in 7 articles
[sw08127]
 graph is a useful visual representation of complex stochastic systems. The graphical structure is also...

PROFIL/BIAS
 Referenced in 106 articles
[sw00733]
 vectors and matrices of these types, and complex numbers. PROFIL is based on BIAS (Basic ... hardware; portability; independency of a specific interval representation...

Perseus
 Referenced in 18 articles
[sw08778]
 possibly gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...

NFsim
 Referenced in 6 articles
[sw22256]
 flexible options for simulating coarsegrained representations of complex nonlinear reaction mechanisms. A publication describing...

MINOPT
 Referenced in 6 articles
[sw04939]
 language for the clear and concise representation of complex mathematical models as well as robust...

CCUBE
 Referenced in 5 articles
[sw17366]
 right balance between the expressiveness, complexity and representation usefulness, without which the practical ... CCUBE constraint calculus guarantees polynomial time data complexity, and, furthermore, is tightly integrated with...

PHquintic
 Referenced in 3 articles
[sw14455]
 curves is presented using the complex representation. The special algebraic structure of PH curves permits...

MONA
 Referenced in 113 articles
[sw06170]
 faces a theoretically nonelementary worstcase complexity. The implementation has matured over a period ... valued logic, eager minimization, BDDbased automata representations, and cacheconscious data structures. We describe...

Bear
 Referenced in 4 articles
[sw05597]
 calculating and testing discreteness of holonomy representations of complex projective structures on punctured tori ... representation variety. It also has powerful scripting features that make it easy to create complex...

node2vec
 Referenced in 4 articles
[sw27202]
 stateoftheart taskindependent representations in complex networks...

NeTra
 Referenced in 63 articles
[sw14887]
 image retrieval when images contain multiple complex objects. Images are segmented into homogeneous regions ... system include an efficient color representation, and indexing of color, texture, and shape features...

LOGIDATA+
 Referenced in 5 articles
[sw02123]
 definition of data with complex structures, the representation of semantic relationships between objects...

ViSta
 Referenced in 3 articles
[sw13548]
 paramount importance for the graphical representation of complex reactive systems...

LNgen
 Referenced in 4 articles
[sw10111]
 Tool Support for Locally Nameless Representations. Given the complexity of the metatheoretic reasoning about current ... advocated a combination of locally nameless representation and cofinite quantification as a lightweight style...

LIGPLOT
 Referenced in 3 articles
[sw16869]
 automatically generates schematic 2D representations of proteinligand complexes from standard Protein Data Bank ... PostScript file giving a simple and informative representation of the intermolecular interactions and their strengths ... facilitate the rapid inspection of many enzyme complexes, but has found many other applications...

Algorithm 818
 Referenced in 3 articles
[sw13165]
 BLAS. We identify the underlying complex issues of the representation and the handling of sparse...