Exploring structural symmetry automatically in symbolic trajectory evaluation (Q453494)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Exploring structural symmetry automatically in symbolic trajectory evaluation
scientific article

    Statements

    Exploring structural symmetry automatically in symbolic trajectory evaluation (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    27 September 2012
    0 references
    symmetry
    0 references
    symbolic trajectory evaluation
    0 references
    theorem proving
    0 references
    0 references
    0 references

    Identifiers