Checking geometric programs or verification of geometric structures (Q1286479)

From MaRDI portal
Revision as of 08:20, 27 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
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

    Identifiers

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