Existence and instability of steady states for a triangular cross-diffusion system: A computer-assisted proof von Breden, Maxime, Castelli, Roberto

Volltext

Validated integration of semilinear parabolic PDEs von van den Berg, Jan Bouwe, Breden, Maxime, Sheombarsing, Ray

Volltext

Continuation of homoclinic orbits in the suspension bridge equation: A computer-assisted proof von van den Berg, Jan Bouwe, Breden, Maxime, Lessard, Jean-Philippe, Murray, Maxime

Volltext

Computer-assisted proofs for some nonlinear diffusion problems von Breden, Maxime

Volltext

Spontaneous Periodic Orbits in the Navier–Stokes Flow von van den Berg, Jan Bouwe, Breden, Maxime, Lessard, Jean-Philippe, van Veen, Lennaert

Volltext

Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing von Breden, Maxime, Payan, Maxime

Volltext

A Posteriori Validation of Generalized Polynomial Chaos Expansions von Breden, Maxime

Volltext

Computation of maximal local (un)stable manifold patches by the parameterization method von Breden, Maxime, Lessard, Jean-Philippe, Mireles James, Jason D.

Volltext

Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems von Breden, Maxime, Engel, Maximilian

Volltext

Rigorous validation of stochastic transition paths von Breden, Maxime, Kuehn, Christian

Volltext

Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos von Breden, Maxime, Kuehn, Christian

Volltext

Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof von Breden, Maxime, Chainais-Hillairet, Claire, Zurek, Antoine

Volltext

Smoothness of moments of the solutions of discrete coagulation equations with diffusion von Breden, Maxime, Desvillettes, Laurent, Fellner, Klemens

Volltext

Global Bifurcation Diagrams of Steady States of Systems of PDEs via Rigorous Numerics: a 3-Component Reaction-Diffusion System von Breden, Maxime, Lessard, Jean-Philippe, Vanicat, Matthieu

Volltext

A posteriori validation of generalized polynomial chaos expansions von Breden, Maxime

Volltext bestellen

Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing von Breden, Maxime, Payan, Maxime

Volltext bestellen

Equations aux dérivées partielles et systèmes dynamiquesappliqués à des problèmes issus de la physique et de la biologie von Breden, Maxime

Volltext bestellen

Constructive proofs for some semilinear PDEs on $H^2(e^{|x|^2/4},\mathbb{R}^d) von Breden, Maxime, Chu, Hugo

Volltext bestellen

Computer-assisted proofs for some nonlinear diffusion problems von Breden, Maxime

Volltext

A posteriori validation of generalized polynomial chaos expansions von Breden, Maxime

Volltext