A method of formalizing computer operations for solving nonlinear differential equations (Q440669)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A method of formalizing computer operations for solving nonlinear differential equations
scientific article

    Statements

    A method of formalizing computer operations for solving nonlinear differential equations (English)
    0 references
    0 references
    0 references
    19 August 2012
    0 references
    computer analogy
    0 references
    rank transfer procedure
    0 references
    nonlinear differential equations
    0 references
    random number generator
    0 references

    Identifiers