On the role of formalization in computational mathematics (Q372699)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the role of formalization in computational mathematics
scientific article

    Statements

    On the role of formalization in computational mathematics (English)
    0 references
    21 October 2013
    0 references
    formalization of mathematics
    0 references
    computer algebra
    0 references
    algebraic topology
    0 references
    verification
    0 references
    biomedical imaging
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references