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

LMI toolbox
 Referenced in 1344 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 307 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...

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

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

PROFIL/BIAS
 Referenced in 122 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 20 articles
[sw08778]
 possibly gigantic matrix representations of boundary operators defined on cell complexes. Discrete Morse theory provides...

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

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

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

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

MONA
 Referenced in 114 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...

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

COBRApy
 Referenced in 3 articles
[sw16711]
 designed to elegantly capture the complexity inherent in integrated biological networks and lacks an integration ... oriented fashion that facilitates the representation of the complex biological processes of metabolism and gene...