A framework for the automation of generalised stability theory

Title:	A framework for the automation of generalised stability theory
Authors:	Farrell, PE Cotter, CJ Funke, SW
Item Type:	Journal Article
Issue Date:	1-Jan-2014
URI:	http://hdl.handle.net/10044/1/12885
DOI:	http://dx.doi.org/10.1137/120900745
Start Page:	C25
End Page:	C48
Journal / Book Title:	SIAM Journal on Scientific Computing
Volume:	36
Issue:	1
Copyright Statement:	© 2014 Society for Industrial and Applied Mathematics. Unauthorized reproduction of this article is prohibited.
Notes:	archiveprefix: arXiv primaryclass: cs.MS
Publication Status:	Published
Appears in Collections:	Earth Science and Engineering Centre for Environmental Policy Applied Mathematics and Mathematical Physics Grantham Institute for Climate Change Faculty of Natural Sciences Mathematics