Computer Assisted Proofs in Dynamical Systems Special Session

Date: May 25, 2017