Reliability of mathematical inference (Q2695405)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reliability of mathematical inference
scientific article

    Statements

    title
    Reliability of mathematical inference (English)
    0 references
    author
    Jeremy Avigad
    0 references
    published in
    Synthese
    0 references
    publication date
    31 March 2023
    0 references
    zbMATH Keywords
    mathematical proof
    0 references
    formalization
    0 references
    reliability
    0 references
    robustness
    0 references
    describes a project that uses
    kepler98
    0 references
    Jordan
    0 references
    cites work
    Q3600462
    0 references
    CHARACTER AND OBJECT
    0 references
    Q5200692
    0 references
    Q2751353
    0 references
    Q5515354
    0 references
    Rigor and Structure
    0 references
    Why Prove it Again?
    0 references
    Q3515133
    0 references
    Q5586187
    0 references
    Q5732756
    0 references
    Q5431481
    0 references
    Q4099559
    0 references
    Q4956108
    0 references
    Q3818261
    0 references
    Q4845456
    0 references
    Q4530470
    0 references
    Q2724150
    0 references
    Q5613067
    0 references
    Q3338169
    0 references

    Identifiers

    zbMATH DE Number
    7670791
    0 references
    OpenAlex ID
    W2965089044
    0 references
    Wikidata QID
    Q126359710
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2695405&oldid=39203365"
    Powered by MediaWiki