Computer Verified Exact Analysis (Tutorial).

Thu, 01 Jan 2009 00:00:00 +0100

Bas Spitters, Russell O'Connor:
Computer Verified Exact Analysis (Tutorial). CCA 2009