Search results
From MaRDI portal
- Publication Date of 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
- Publication Date of Publication Type Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations 2011-08-18 Paper...10 bytes (16 words) - 17:03, 6 October 2023
- finite-dimensional associative algebras 1990-01-01 Paper A new computer-assisted analytic method for the Dirichlet and Neumann problems 1987-01-01 Paper https://portal...10 bytes (18 words) - 04:06, 13 December 2023
- 2012-02-19 Paper Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems 2011-01-16 Paper Erratum to: Computer assisted proofs of...10 bytes (16 words) - 22:51, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4762775 2001-02-22 Paper Computer assisted method for proving existence of periodic orbits 2000-05-08 Paper...10 bytes (17 words) - 12:33, 7 October 2023
- the triangular lattice for Lennard–Jones type lattice energies: a computer-assisted method 2023-03-23 Paper On energy ground states among crystal lattice...10 bytes (16 words) - 15:08, 6 October 2023
- Publication Date of Publication Type Computer‐assisted methods in the study of point‐group symmetry 1976-01-01 Paper...10 bytes (20 words) - 02:05, 28 December 2023
- Publication Date of Publication Type Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards 2021-06-29 Paper Tolerancing...10 bytes (16 words) - 13:06, 24 September 2023
- algorithm in Reiter's theory of diagnosis 1989-01-01 Paper A new computer-assisted analytic method for the Dirichlet and Neumann problems 1987-01-01 Paper https://portal...10 bytes (18 words) - 09:44, 24 September 2023
- Perturbation 2010-09-30 Paper Computer-assisted proofs for semilinear elliptic boundary value problems 2010-02-25 Paper A computer-assisted proof for photonic band...10 bytes (17 words) - 13:00, 8 December 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
- solutions for a symmetric boundary value problem 2011-12-06 Paper Computer-assisted methods for the study of stationary solutions in dissipative systems, applied...10 bytes (16 words) - 17:43, 8 December 2023
- solutions for a symmetric boundary value problem 2011-12-06 Paper Computer-assisted methods for the study of stationary solutions in dissipative systems, applied...10 bytes (17 words) - 16:37, 11 December 2023
- Continuation: A Case Study with Montreal COVID-19 Data 2021-07-30 Paper Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards...10 bytes (20 words) - 06:06, 7 October 2023
- Nonautonomous Forcing---A Computer Assisted Proof 2015-05-12 Paper A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof 2014-01-22 Paper...10 bytes (17 words) - 17:44, 8 December 2023
- invariant manifolds in skew product systems 2019-01-08 Paper Rigorous computer-assisted application of KAM theory: a modern approach 2017-12-01 Paper Different...10 bytes (18 words) - 01:15, 10 December 2023
- the Michelson System: A Computer Assisted Proof 2005-10-28 Paper Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. 2003-11-19 Paper...10 bytes (16 words) - 09:17, 7 October 2023
- problem 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
- equations: A computer assisted proof. Part II: Details 1998-06-14 Paper Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof...10 bytes (16 words) - 10:48, 8 December 2023
- stabilized method adding a crosswind diffusion 2021-04-23 Paper Adaptive higher-order space-time discontinuous Galerkin method for the computer simulation...10 bytes (17 words) - 07:20, 9 December 2023
