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

From MaRDI portal
Revision as of 22:17, 25 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Proof mining and effective bounds in differential polynomial rings
scientific article

    Statements

    Proof mining and effective bounds in differential polynomial rings (English)
    0 references
    0 references
    0 references
    18 January 2019
    0 references
    proof mining
    0 references
    functional interpretation
    0 references
    differential algebra
    0 references
    uniform bounds
    0 references
    ultraproduct
    0 references

    Identifiers