Computer Assisted Proofs in Applied Mathematics

Date: