Links for diffeqzoo