A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cnsns.2010.07.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2083229704
@@ Property / OpenAlex ID: W2083229704 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Q2717323
@@ Property / cites work: Q2717323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4300595
@@ Property / cites work: Q4300595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057385
@@ Property / cites work: Q4057385 / rank @@
+Normal rank
@@ Property / cites work @@
+On a quasi-linear parabolic equation occurring in aerodynamics
+Normal rank
@@ Property / cites work @@
+Solutions in the large for nonlinear hyperbolic systems of equations
+Normal rank
@@ Property / cites work @@
+The partial differential equation u<sub>t</sub> + uu<sub>x</sub> = μ<sub>xx</sub>
+Normal rank
@@ Property / cites work @@
+Front tracking for hyperbolic conservation laws
@@ Property / cites work: Front tracking for hyperbolic conservation laws / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692703
@@ Property / cites work: Q4692703 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact solutions of equations for the Burgers hierarchy
+Normal rank
@@ Property / cites work @@
+Self-similar solutions of the Burgers hierarchy
@@ Property / cites work: Self-similar solutions of the Burgers hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
+Normal rank
@@ Property / cites work @@
+Computer-assisted enclosure methods for elliptic differential equations
+Normal rank
@@ Property / cites work @@
+Q2778805
@@ Property / cites work: Q2778805 / rank @@
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
+Normal rank