Search results
From MaRDI portal
- 1992-06-27 Paper Computer-assisted existence proofs for two-point boundary value problems 1992-06-25 Paper A programmed algorithm for existence proofs for two-point...10 bytes (17 words) - 13:00, 8 December 2023
- Publication Date of Publication Type Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems 2020-10-02 Paper Low-dimensional...10 bytes (16 words) - 07:18, 7 October 2023
- 2022-03-23 Paper Computer assisted proof of drift orbits along normally hyperbolic manifolds 2021-12-13 Paper Computer assisted proofs of two-dimensional...10 bytes (18 words) - 13:36, 7 October 2023
- Publication Date of Publication Type A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain 2017-04-06 Paper...10 bytes (16 words) - 03:04, 7 October 2023
- under State-dependent Delayed Perturbations: Computer-assisted Proofs 2023-08-07 Paper Computer assisted proofs for transverse collision and near collision...10 bytes (20 words) - 23:42, 10 December 2023
- of Lane-Emden problems in dimension two 2017-04-20 Paper A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain 2017-04-06...10 bytes (16 words) - 15:44, 9 December 2023
- Evolution Equations 2017-07-13 Paper Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation 2017-06-02...10 bytes (18 words) - 01:15, 10 December 2023
- 2001-02-27 Paper Computer proofs in Gödel's class theory with equational definitions for composite and cross 1999-04-26 Paper On computer-assisted proofs in ordinal...10 bytes (20 words) - 12:26, 13 December 2023
- Publication Date of Publication Type Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\)...10 bytes (16 words) - 06:45, 9 December 2023
- Paper Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems 2011-01-16 Paper Erratum to: Computer assisted proofs of bifurcating...10 bytes (16 words) - 22:51, 24 September 2023
- system: a computer-assisted proof 2018-03-12 Paper Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof 2018-01-11...10 bytes (16 words) - 01:01, 25 September 2023
- State-dependent Delayed Perturbations: Computer-assisted Proofs 2023-08-07 Paper Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction...10 bytes (18 words) - 01:01, 25 September 2023
- problem -- a computer-assisted proof 2003-08-17 Paper Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof 2003-01-05...10 bytes (17 words) - 17:44, 8 December 2023
- Paper Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems 2011-01-16 Paper Erratum to: Computer assisted proofs of bifurcating...10 bytes (19 words) - 12:59, 8 December 2023
- Publication Type A computer‐assisted method for the diblock copolymer model 2024-01-09 Paper Computer-assisted proofs of the existence of a symmetry-breaking...10 bytes (16 words) - 11:15, 7 October 2023
- de/entity/Q5394980 2006-11-01 Paper The existence of simple choreographies for theN-body problem—a computer-assisted proof 2003-01-01 Paper...10 bytes (17 words) - 12:24, 22 September 2023
- homeomorphisms with golden ratio rotation number 1984-01-01 Paper Computer-assisted proofs in analysis 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3685709...10 bytes (21 words) - 07:24, 13 December 2023
- shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential...10 bytes (18 words) - 11:53, 7 October 2023
- Modifications Based on Multiple Contrast Tests 1997-10-20 Paper Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study 1997-02-12 Paper...10 bytes (17 words) - 16:37, 11 December 2023
- renormalization group for Hamiltonians: numerical results 1999-08-19 Paper Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study 1997-02-12 Paper...10 bytes (16 words) - 12:10, 11 December 2023
