Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Computing with Tarski formulas and semi-algebraic sets in a web browser - MaRDI portal

Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823)

From MaRDI portal
scientific article; zbMATH DE number 7725360
Language Label Description Also known as
English
Computing with Tarski formulas and semi-algebraic sets in a web browser
scientific article; zbMATH DE number 7725360

    Statements

    title
    Computing with Tarski formulas and semi-algebraic sets in a web browser (English)
    0 references
    author
    Zoltán Kovács
    0 references
    Christopher W. Brown
    0 references
    Tomás Recio
    0 references
    Robert Vajda
    0 references
    publication date
    10 August 2023
    0 references
    zbMATH Keywords
    real geometry
    0 references
    real quantifier elimination
    0 references
    WebAssembly
    0 references
    porting
    0 references
    web browser
    0 references
    C++
    0 references
    cites work
    Q4434828
    0 references
    Q4079605
    0 references
    Q4247790
    0 references
    Q4234240
    0 references
    Q4729897
    0 references
    Q5807665
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Wxx
    0 references
    03Cxx
    0 references
    68Txx
    0 references
    zbMATH DE Number
    7725360
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6170823&oldid=37550515"
    Powered by MediaWiki