Proof mining and effective bounds in differential polynomial rings (Q1711923)

From MaRDI portal
Revision as of 01:40, 18 August 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q128825682, #quickstatements; #temporary_batch_1723941302328)
scientific article
Language Label Description Also known as
English
Proof mining and effective bounds in differential polynomial rings
scientific article

    Statements

    title
    Proof mining and effective bounds in differential polynomial rings (English)
    0 references
    author
    William Simmons
    0 references
    Henry Towsner
    0 references
    publication date
    18 January 2019
    0 references
    zbMATH Keywords
    proof mining
    0 references
    functional interpretation
    0 references
    differential algebra
    0 references
    uniform bounds
    0 references
    ultraproduct
    0 references
    cites work
    Q4215634
    0 references
    Q4227290
    0 references
    Q3079693
    0 references
    Q3255437
    0 references
    Q2998348
    0 references
    Q3837732
    0 references
    Q5680222
    0 references
    Q4229400
    0 references
    Q4872381
    0 references
    Noetherian orders
    0 references
    Q3153351
    0 references
    Q4200109
    0 references
    Q3545513
    0 references
    Q5480762
    0 references

    Identifiers

    zbMATH DE Number
    7003600
    0 references
    OpenAlex ID
    W2962974487
    0 references
    arXiv ID
    1609.07509
    0 references
    Wikidata QID
    Q128825682
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1711923&oldid=37601830"
    Powered by MediaWiki