
LiE
 Referenced in 164 articles
[sw01075]
 representation theory of complex semisimple (reductive) Lie groups and algebras, and on the structure...

Esterel
 Referenced in 165 articles
[sw20012]
 based verification tools that perform either bisimulation reduction or safety property checking. Esterel ... been chosen by the Polis group as one of their input languages for their hardware/software...

Atlas of Lie Groups
 Referenced in 14 articles
[sw09356]
 make available information about representations of reductive Lie groups over real and padic fields...

Traces
 Referenced in 180 articles
[sw07823]
 computing a canonical labeling and the automorphism group of a graph is investigated ... approach presented here leads to a huge reduction in the search space, thereby making computation...

SeDiMO
 Referenced in 14 articles
[sw07826]
 connected reductive complex algebraic group and let V be a nontrivial irreducible module...

CALMA
 Referenced in 106 articles
[sw03235]
 project by a consortium consisting of research groups from Delft, Eindhoven, London, Maastricht, Norwich ... methods, genetic algorithms, neural networks, and potential reduction. These algorithms were tested and compared...

DifferentialGeometry
 Referenced in 29 articles
[sw07593]
 groups, Killing tensors, algebraic classification of solutions of the Einstein equations, and symmetry reduction...

symmetry
 Referenced in 3 articles
[sw14839]
 continuous groups; invariants for torus group action; orbit space reduction; buildin knowledge of finite...

rinvar.lib
 Referenced in 1 article
[sw31081]
 Singular Library rinvar.lib: Invariant Rings of Reductive Groups. Implementation based on Derksen’s algorithm. Written...

scrime
 Referenced in 2 articles
[sw11398]
 dimensional data developed/implemented at the group ”Statistical Complexity Reduction In Molecular Epidemiology” (SCRIME). Main focus...

ABS
 Referenced in 31 articles
[sw21211]
 concurrency and synchronization mechanisms for concurrent object groups with a functional language for modeling data ... Core ABS, we prove a subject reduction property which shows that welltypedness is preserved...

TopSpin
 Referenced in 13 articles
[sw00972]
 Model Checker. TopSPIN is an automatic symmetry reduction tool for the SPIN model checker. TopSPIN ... detailed in the user manual), uses computational group theory to automatically determine a group...

SpintoGrape
 Referenced in 6 articles
[sw07515]
 symmetry groups of the associated models. Finally we discuss ways in which symmetry reduction techniques...

BIGLIE
 Referenced in 5 articles
[sw09207]
 program LIE that finds the Lie group, or rather the Lie algebra, of differential equations ... reductions of order etc. For example, you have seen the books ”Applications of Lie Groups...

sSDR
 Referenced in 1 article
[sw20968]
 existing SDR literature to merge reductions performed within groups of samples and/or predictors. In particular...

Krimp
 Referenced in 19 articles
[sw28422]
 returned patterns. This is caused by large groups of patterns essentially describing the same ... hundreds of itemsets are returned; a dramatic reduction, up to seven orders of magnitude...

ProTraS
 Referenced in 2 articles
[sw33763]
 representative in the group with the highest probability of cost reduction. The novel algorithm...

SeaSign
 Referenced in 8 articles
[sw41590]
 scheme for isogenies that combines the class group actions of CSIDH with the notion ... security level, even with tight security reduction (to a nonstandard problem) in the quantum...

MRC
 Referenced in 4 articles
[sw30136]
 algorithm have been generalized to monoid and group rings. In this paper we present ... first step the concept of prefix reduction in the system MRC 1.0 together with some...

UNU.RAN
 Referenced in 9 articles
[sw09367]
 ARVAG (Automatic Random VAriate Generation) project group in Vienna, and released under the GNU Public ... distributions are made. random variates for variance reduction techniques are used. fast generators of predictable...