136 search results - page 1 / 28 » An integrality theorem of root systems |
EJC
2007
13 years 5 months ago
2007
Let Φ be an irreducible root system and ∆ be a base for Φ; it is well known that any root in Φ is an integral combination of the roots in ∆. In comparison to this fact, we ...
POPL
1997
ACM
13 years 8 months ago
1997
ACM
The following theorem of Huet and L
TABLEAUX
2000
Springer
13 years 9 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
CDC
2010
IEEE
13 years 9 days ago
2010
IEEE
Abstract-- Given a family of real or complex monic polynomials of fixed degree with one fixed affine constraint on their coefficients, consider the problem of minimizing the root r...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...