Real Number Calculations and Theorem Proving (Q3543660): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: PVS / rank
 
Normal rank

Revision as of 06:36, 28 February 2024

scientific article
Language Label Description Also known as
English
Real Number Calculations and Theorem Proving
scientific article

    Statements

    Real Number Calculations and Theorem Proving (English)
    0 references
    0 references
    4 December 2008
    0 references
    computable reals
    0 references
    exact arithmetic
    0 references
    higher-order logic
    0 references
    PVS
    0 references
    theorem proving
    0 references
    0 references
    0 references

    Identifiers