ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • formal specification  (2)
  • 52B40  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Geometriae dedicata 63 (1996), S. 25-43 
    ISSN: 1572-9168
    Keywords: 52B11 ; 52B40 ; 05B35 ; matroid ; oriented matroid ; reorientation class ; d-cube ; d-crosspolytope ; Folkman-Lawrence representation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract We prove a conjecture of Las Vergnas in dimensions d≤7: The matroid of the d-dimensional cube C d has a unique reorientation class. This extends a result of Las Vergnas, Roudneff and Salaün in dimension 4. Moreover, we determine the automorphism group G d of the matroid of the d-cube C d for arbitrary dimension d, and we discuss its relation to the Coxeter group of C d . We introduce matroid facets of the matroid of the d-cube in order to evaluate the order of G d . These matroid facets turn out to be arbitrary pairs of parallel subfacets of the cube. We show that the Euclidean automorphism group W d is a proper subgroup of the group G d of all matroid symmetries of the d-cube by describing genuine matroid symmetries for each Euclidean facet. A main theorem asserts that any one of these matroid symmetries together with the Euclidean Coxeter symmetries generate the full automorphism group G d . For the proof of Las Vergnas' conjecture we use essentially these symmetry results together with the fact that the reorientation class of an oriented matroid is determined by the labeled lower rank contractions of the oriented matroid. We also describe the Folkman-Lawrence representation of the vertex figure of the d-cube and a contraction of it. Finally, we apply our method of proof to show a result of Las Vergnas, Roudneff, and Salaün that the matroid of the 24-cell has a unique reorientation class, too.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    International journal of parallel programming 11 (1982), S. 141-153 
    ISSN: 1573-7640
    Keywords: Abstract data type ; formal specification ; rewriting system ; normal form ; initial algebra ; equivalence proof
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A simple technique is presented for verifying that two abstract data type specifications are equivalent in that they have isomorphic initial algebras. The method uses normal forms to attempt reducing the number of equations to be checked. It is applied to a simple example and some extensions, and related problems are also discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    International journal of parallel programming 11 (1982), S. 295-323 
    ISSN: 1573-7640
    Keywords: Abstract data types ; formal specification ; canonical terms ; rewriting systems ; specification methodology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A data type is often given by an informal model. Its formal specification is an important task, but also difficult and error-prone. Here a methodology for this task is presented. Its steps are, first, the election of a canonical form defining a canonical term algebra; second, a system of sound rewriting rules powerful enough to achieve the syntactical transformations of the canonical term algebra. The final translation of rewriting rules into equations is immediate. The methodology is illustrated by the detailed presentation of a simple example.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...