Checking geometric programs or verification of geometric structures (Q1286479)

From MaRDI portal
Revision as of 02:48, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Checking geometric programs or verification of geometric structures
scientific article

    Statements

    title
    Checking geometric programs or verification of geometric structures (English)
    0 references
    author
    Stefan Näher
    0 references
    Michael Seel
    0 references
    Raimund Seidel
    0 references
    Thomas Schilz
    0 references
    Stefan Schirra
    0 references
    Christian Uhrig
    0 references
    Kurt Mehlhorn
    0 references
    publication date
    3 May 1999
    0 references
    zbMATH Keywords
    LEDA system
    0 references
    describes a project that uses
    LEDA
    0 references
    Hull
    0 references

    Identifiers

    zbMATH DE Number
    1283757
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1286479&oldid=26120535"
    Powered by MediaWiki