
GMRFLib
 Referenced in 261 articles
[sw06641]
 subject.par Gaussian Markov Random Fields: Theory and Applications provides such a reference, using a unified ... models, in which statistical inference is only possible using Markov Chain Monte Carlo (MCMC) techniques...

GOLOG
 Referenced in 169 articles
[sw02159]
 higher level of abstraction than is usually possible. The language appears well suited for applications ... based on a formal theory of action specified in an extended version of the situation...

Locales
 Referenced in 35 articles
[sw12448]
 Isabelle’s global theories and proof contexts is possible via morphisms. Even the locale hierarchy...

GloptiPoly
 Referenced in 287 articles
[sw04343]
 algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... particular instances of the GPM, and (possibly after some transformation) of the GPM with polynomial...

Z
 Referenced in 274 articles
[sw10291]
 primarily directed to the user; the background theory is  with the exception of the natural ... strive to make reading as entertaining as possible. However, there are quite a number...

LERS
 Referenced in 119 articles
[sw08637]
 rough set theory principle. Rough set theory is especially well suited to deal with inconsistencies ... concept. Then it induces certain rules and possible rules. The user has the choice...

HALO
 Referenced in 5 articles
[sw02527]
 HALO language is based on possibility theory and consequently, is wellsuited to expert system...

SLICOT
 Referenced in 79 articles
[sw01095]
 algorithms for computations in systems and control theory. Based on numerical linear algebra routines from ... when working at a given precision. If possible an estimate of the achieved accuracy should...

Why3
 Referenced in 126 articles
[sw04438]
 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets ... genericity, giving the end user a possibility to easily reuse Why3 formalizations...

LFLC 2000
 Referenced in 11 articles
[sw08217]
 obtained in formal theory of fuzzy logic. It makes it possible to deduce conclusions ... linguistic expressions and interpreted using the original theory developed in IRAFM. Sets of linguistically interpreted ... simulation of wide class of systems is possible. For theoretical background of LFLC, the following ... logic can be found in [1]; the theory of trichotomous evaluative linguistic expressions...

LiE
 Referenced in 146 articles
[sw01075]
 theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... program. The LiE programming language makes it possible to customise and extend the package with...

Slothrop
 Referenced in 10 articles
[sw10019]
 path orderings. Consequently, the theories for which completion can possibly yield a decision procedure ... convergent and equivalent to the input theory. Completions are also not just groundconvergent...

Hereditarily Finite Sets
 Referenced in 5 articles
[sw29249]
 negated. All constructions that are possible in ZF set theory (Cartesian products, disjoint sums, natural...

MEBN
 Referenced in 15 articles
[sw02784]
 MEBN theory (MTheory) implicitly represents a joint probability distribution over possibly unbounded numbers of hypotheses...

4eMka2
 Referenced in 52 articles
[sw16168]
 that it bases on rough set theory combined with dominance relation, which is quite ... with inconsistent and incomplete data. This is possible due to use of rough set with ... does not have to get familiar with theory basis of used analysis model, which...

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

Fuzzy sets for Ada
 Referenced in 1 article
[sw05537]
 operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations ... intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floatingpoint with...

Charlie
 Referenced in 3 articles
[sw12881]
 comprising standard theorems of Petri net theory to possibly decide further properties based...

LDL
 Referenced in 14 articles
[sw00507]
 basic theory of sparse matrix algorithms in as concise a code as possible, including...

SARAH
 Referenced in 43 articles
[sw06472]
 version of SARAH it is possible to calculate automatically all interactions for the different eigenstates ... supersymmetric limits of the theory can be chosen. CP and flavor violation can easily...