Table of Contents

Contact information
Curriculum vitae

Henon computations
CHomP ad
Student research



Email me

Dimension and mortality in linear stage class models of Arcatia tonsa, C. King, K. Shipman, S. Day, and M. D. LaMar, Proceedings of the Sixth Symposium on BEER, 2013 (final version).

Rigorous computation of the global dynamics of integrodifference equations with smooth nonlinearities, S. Day and W. D. Kalies, SIAM J. Numer. Anal.  51, no. 6, 2957–2983, 2013 (final version).


Braided connecting orbits in parabolic equations via computational homology, J. B. van den Berg, S. Day, and R. Vandervorst.  J. Diff. Eq., 255(6): 1086--1108, doi:10.1016/j.jde.2013.05.007, 2013 (final version).

Coexistence of competing stage-structured populations,  M. Fujiwara, G. Pfeiffer,  M. Boggess, S. Day, and J. Walton. Scientific Reports 1, doi:10.1038/srep00107, 2011 (final version).

Verified homology computations for nodal domains, S. Day, W. D. Kalies, and T. Wanner. SIAM Journal on Multiscale Modeling and Simulation (Vol. 7, No. 4) 1695--1726, 2009 (final version).

Algorithms for rigorous entropy bounds and symbolic dynamics, S. Day, R. Frongillo and R. Trevino.  SIAM Journal on Applied Dynamical Systems 7(4), 1477--1506, 2008 (final version).

Quantitative hyperbolicity estimates in one-dimensional dynamics, S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka, and P. Pilarczyk. Nonlinearity 21, 1967--1987, 2008 (final version).

Probabilistic and numerical validation of homology computations for nodal domains, S. Day, W. D. Kalies, K. Mischaikow, and T. Wanner.  Electron. Res. Announc. Amer. Math. Soc. 13, 60--73, 2007 (final version).

Validated continuation for equilibria of PDEs, S. Day, J. P. Lessard, and K. Mischaikow.   SIAM Journal on Numerical Analysis 45, 1398--1424, 2007 (final version).

Rigorous numerics for global dynamics: a study of the Swift-Hohenberg equation, S. Day, Y. Hiraoka, K. Mischaikow, and T. Ogawa.  SIAM Journal on Applied Dynamical Systems 4, 1--31, 2005 (final version).

Towards automated chaos verification, S. Day, O. Junge, and K. Mischaikow. Proc. Equadiff 2003, World Scientific, Singapore, 157--162, 2005.

A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems, S. Day, O. Junge and K. Mischaikow.  SIAM Journal on Applied Dynamical Systems 3, 117--160, 2004 (final version).

Towards a rigorous numerical study of the Kot-Schaffer model.  S. Day, Special issue: dynamic equations on time scales.  Dynam. Systems Appl12, 87--97, 2003.

Power weakly mixing infinite transformations, S. Day, B. Grivna, E. McCartney, and E. Silva.  New York J. Math.  5, 17--24, 1999. 


A rigorous numerical method in infinite dimensions , Ph.D. dissertation.  Georgia Institute of Technology (2003).