Attracting Fixed Points for the Kuramoto-Sivashinsky Equation: A Computer Assisted Proof.

Piotr Zgliczynski

Published in: SIAM J. Appl. Dyn. Syst. (2002)

Keyphrases

computer assisted
fixed point
linear logic
computer aided
intraoperative
sufficient conditions
temporal difference learning
approximate value iteration
asymptotic properties
belief propagation
logic programs
logic programming
dynamical systems
free energy
stereo matching
inference rules