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

BioPEPAd
 Referenced in 5 articles
[sw10690]
 assigning delays to actions, yielding a new nonMarkovian stochastic process algebra: BioPEPAd. This ... specification which can now be associated with actions may be added to existing BioPEPA ... semantics of the firing of the actions with delays is the delayasduration approach ... systems with delays. This semantics of the algebra is given in the startingterminating style...

GiNaCcycle
 Referenced in 11 articles
[sw07247]
 GiNaC computer algebra system. SFSCc linearises the linearfraction 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 4dimensional 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 mouseaction...

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 semialgebraic 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 algebraiccontinuous homeomorphism type of Chow varieties on embeddings...

RATHAgda
 Referenced in 3 articles
[sw13303]
 RATHAgda: RelationAlgebraic 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; buildin knowledge of finite groups and compact Lie groups; algebraic...

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