Numerical verification of existence and inclusion of solutions for nonlinear operator equations (Q1900759): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur la méthode de Galerkin-Urabe pour les systèmes différentiels périodiques / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5341132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder)) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality— / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5791786 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3340032 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Posteriori Error Bounds for Two-Point Boundary Value Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$ / rank
 
Normal rank
Property / cites work
 
Property / cites work: A numerical approach to the proof of existence of solutions for elliptic problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer-assisted existence proofs for two-point boundary value problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3806710 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A geometric method for the numerical solution of nonlinear equations and its application to nonlinear oscillations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4147564 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4178427 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Galerkin's procedure for nonlinear periodic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical investigation of subharmonic solutions to Duffing's equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5677843 / rank
 
Normal rank

Latest revision as of 17:52, 23 May 2024

scientific article
Language Label Description Also known as
English
Numerical verification of existence and inclusion of solutions for nonlinear operator equations
scientific article

    Statements

    Numerical verification of existence and inclusion of solutions for nonlinear operator equations (English)
    0 references
    0 references
    23 October 1995
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    finite method
    0 references
    abstract nonlinear operator equations
    0 references
    self-validating numerics
    0 references
    computer-assisted existence proof
    0 references
    Newton's method
    0 references
    Urabe-Galerkin's method
    0 references
    Banach space
    0 references
    inclusion of solutions
    0 references
    periodic solution
    0 references
    Duffing equation
    0 references