Warwick Tucker

Research output

Research output per year 1999 1999 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2023 2024

• 39 Article
• 13 Conference Paper
• 2 Chapter (Book)
• 2 Encyclopaedia / Dictionary Entry
• 2 More
  • 1 Textbook
  • 1 Editorial

Research output per year

Research output per year

Search results

• 2015

  Computer-Aided Proofs via Interval Analysis

  Tucker, W., 2015, The Princeton Companion to Applied Mathematics. Higham, N. J., Dennis, M. R., Glendinning, P., Martin, P. A., Santosa, F. & Tanner, J. (eds.). Princeton NJ USA: Princeton University Press, p. 790-795 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Encyclopaedia / Dictionary Entry › Other › peer-review

• Interval Analysis

  Tucker, W., 2015, The Princeton Companion to Applied Mathematics. Higham, N. J., Dennis, M. R., Glendinning, P., Martin, P. A., Santosa, F. & Tanner, J. (eds.). Princeton NJ USA: Princeton University Press, p. 105-106 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Encyclopaedia / Dictionary Entry › Other › peer-review