Login / Signup
Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs.
Gianni Arioli
Published in:
Commun. Nonlinear Sci. Numer. Simul. (2022)
Keyphrases
</>
computer assisted
computer aided
intraoperative
non stationary
foreign language
image processing
level set
partial differential equations
reading comprehension
surgical training
computer vision
learning experience
theorem proving
project based learning
image denoising
learning tools