• 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 p-adic 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; build-in 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 well-typedness 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...
  • Spin-to-Grape

  • 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 non-standard 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...