Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (Q618582): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5518219 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4379552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives / rank
 
Normal rank
Property / cites work
 
Property / cites work: A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4874512 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness / rank
 
Normal rank
Property / cites work
 
Property / cites work: NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some computer assisted proofs for solutions of the heat convection problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4551937 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A numerical verification of nontrivial solutions for the heat convection problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem / rank
 
Normal rank

Latest revision as of 15:31, 3 July 2024

scientific article
Language Label Description Also known as
English
Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
scientific article

    Statements

    Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    16 January 2011
    0 references
    Navier-Stokes equation
    0 references
    nonlinear heat convection
    0 references
    bifurcation point
    0 references
    computer assisted proof
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references