• AIR tools

  • Referenced in 47 articles [sw09203]
  • algebraic iterative reconstruction (AIR) methods for discretizations of inverse problems. These so-called row action ... problem. Two classes of methods are implemented: Algebraic reconstruction techniques and simultaneous iterative reconstruction techniques...
  • Bio-PEPAd

  • Referenced in 5 articles [sw10690]
  • assigning delays to actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd. This ... specification which can now be associated with actions may be added to existing Bio-PEPA ... semantics of the firing of the actions with delays is the delay-as-duration approach ... systems with delays. This semantics of the algebra is given in the starting-terminating style...
  • GiNaC-cycle

  • Referenced in 11 articles [sw07247]
  • GiNaC computer algebra system. SFSCc linearises the linear-fraction action of the Möbius group. This ... required changes) to other CAS with Clifford algebras capabilities. There is an ISO image...
  • wedderga

  • Referenced in 13 articles [sw01019]
  • primitive central idempotents of semisimple group algebras and functions for computing Schur indices. Other functions ... multiplication determined by a given action and twisting...
  • symmChainGens

  • Referenced in 7 articles [sw06689]
  • that are invariant under a symmetric group action. In our setting, the ambient rings ... algebra sense. However, we prove a theorem which says that ”up to the action ... Laurent toric ideals involved in applications to algebraic statistics. We close with several open problems...
  • divisors.lib

  • Referenced in 1 article [sw15680]
  • Altmann, Hausen on polyhedral divisors and algebraic torus actions. They are a natural generalization...
  • classifyMapGerms

  • Referenced in 1 article [sw23298]
  • space at the orbit of an algebraic group action. The tangent space is usually described...
  • Vessiot

  • Referenced in 6 articles [sw12351]
  • classification problems in geometry and algebra. The first problem we are currently working on deals ... classification of all 4-dimensional local group actions which admit a Lorentz invariant metric ... classification of low dimensional Lie algebras. The software which supports our work on these...
  • CAOP

  • Referenced in 2 articles [sw10033]
  • CAOP: Computer Algebra and Orthogonal Polynomials. CAOP is a package for calculating formulas for orthogonal ... LaTeX document by a simple mouse-action...
  • MARS

  • Referenced in 7 articles [sw14516]
  • bounded regular semianalytic sets, equipped with Boolean algebras and advected by homeomorphic flow maps ... nonautonomous ordinary differential equation. By examining the actions of semidiscrete and discrete flow maps upon...
  • ncHilb

  • Referenced in 2 articles [sw27177]
  • multigraded Hilbert series to algebras that are invariant under the action of the general linear ... developed in the kernel of the computer algebra system {sc Singular}. A large...
  • smt

  • Referenced in 13 articles [sw09205]
  • exploitation of the structure of large scale algebraic problems is often crucial for their numerical ... types of variables (classes) and define the action of arithmetic operators and functions on them...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • structures of commutative algebra and computing the stratification of linear actions of compact Lie groups ... finitely many disjoint basic open semi-algebraic sets, called strata. A set of fundamental invariants ... equivariants of algebraic groups. Moreover we propose a new approach for stratifying actions of compact ... description. Finally we describe the computer algebra package STRATIFY for computing stratifications of compact...
  • KMS states

  • Referenced in 2 articles [sw31679]
  • Toeplitz algebra of a finite graph of rank k carries a natural action ... gives a dynamics on the Toeplitz algebra. For inverse temperatures larger than a critical value...
  • Resultants

  • Referenced in 3 articles [sw01251]
  • complex numbers. The approach implies a more algebraic proof of Lawson´s complex suspension theorem ... characteristic 0. The continuity of the action of the linear isometries operad on the group ... proof of the independence of the algebraic-continuous homeomorphism type of Chow varieties on embeddings...
  • RATH-Agda

  • Referenced in 3 articles [sw13303]
  • RATH-Agda: Relation-Algebraic Theories in Agda. The basic category and allegory theory library ... semigroupoids, which are “categories without identities”, to “action lattice categories”, which are division allegories that ... same time Kleene categories (i.e., typed Kleene algebras), including also monoidal categories. These theories...
  • TVT

  • Referenced in 2 articles [sw09811]
  • process algebras and explicit state space exploration, but in addition to actions, our formalism allows...
  • symmetry

  • Referenced in 3 articles [sw14839]
  • action; orbit space reduction; build-in knowledge of finite groups and compact Lie groups; algebraic...
  • GITA

  • Referenced in 8 articles [sw00353]
  • form in Cartesian as well as angle-action coordinates and the formal integral ... program package is written in the computer algebra system REDUCE...