Sciweavers

392 search results - page 21 / 79
» An Algebraic Representation of Calendars
Sort
View
TCS
2008
13 years 9 months ago
Real algebraic numbers and polynomial systems of small degree
We present exact and complete algorithms based on precomputed Sturm-Habicht sequences, discriminants and invariants, that classify, isolate with rational points and compare the re...
Ioannis Z. Emiris, Elias P. Tsigaridas
ITSL
2008
13 years 11 months ago
Weight Multiplicities for so5(C)
We explicitly determine quasi-polynomials describing the weight multiplicities of the Lie algebra so5(C). This information entails immediate complete knowledge of the character of ...
Thomas Bliem
ENTCS
2008
114views more  ENTCS 2008»
13 years 10 months ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner
FOCM
2006
63views more  FOCM 2006»
13 years 9 months ago
On an Isospectral Lie-Poisson System and Its Lie Algebra
In this paper we analyse the matrix differential system X = [N, X2 ], where N is skew-symmetric and X(0) is symmetric. We prove that it is isospectral and that it is endowed with ...
Anthony M. Bloch, Arieh Iserles
APN
1995
Springer
14 years 1 months ago
An Algebraic Semantics for Hierarchical P/T Nets
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
Twan Basten, Marc Voorhoeve