Slmath

I participated in the summer school on “Computer Assisted Proofs in Applied Mathematics” at SLMath in Berkeley, California.