Shuting Cai

Available identifiers

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 bifurcation point for the Kolmogorov problem	2021-06-03	Paper
Boundary observability of wave equations with nonlinear van der Pol type boundary conditions	2019-02-05	Paper
Band-level correlation noise modeling for Wyner-Ziv video coding with Gaussian mixture models	2016-08-05	Paper
A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem	2015-06-30	Paper
Multiple solutions for a \(p\)-Laplacian elliptic problem	2014-12-02	Paper
A Computer-Assisted Stability Proof for a Stationary Solution of Reaction-Diffusion Equations	2014-08-20	Paper
A Numerical Verification Method for a System of FitzHugh-Nagumo Type	2013-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5320365	2009-07-22	Paper
A study for the packing of rectangles system based on simulated annealing algorithm	2009-03-06	Paper
Multiple solutions for a system of equations with \(p\)-Laplacian	2008-11-06	Paper

This page was built for person: Shuting Cai