Robin Berjon @robinberjon · 28 Dec 2016 Replying to @null and @marcosc My understanding is that there is still a *lot* of resistance from mathematicians to computer-assisted stuff.