Warwick TuckerWarwick Tucker is professor of mathematics and principal investigator for the Computer-Aided Proofs in Analysis (CAPA) Group at Uppsala University in Sweden. He has been honored with several awards, including the European Mathematical Society' Prize for Distinguished Contributions in Mathematics, the R. E. Moore Prize for Applications of Interval Analysis, and the Swedish Mathematical Society's Wallenberg Prize. Read More Read Less