Migraine with aura (MwA) is a debilitating disease that afflicts about 25%-30% of migraine sufferers. During MwA, a visual illusion propagates in the visual field, then disappears, and is followed by a sustained headache. MwA was conjectured by Lashley to be related to some neurological phenomenon. A few years later, Leão observed electrophysiological waves in the brain that are now known as cortical spreading depression (CSD). CSD waves were soon conjectured to be the neurological phenomenon underlying MwA that had been suggested by Lashley. However, the confirmation of the link between MwA and CSD was not made until 2001 by Hadjikhani et al. [Proc. Natl. Acad. Sci. U.S.A. 98, 4687-4692 (2001)] using functional MRI techniques. Despite the fact that CSD has been studied continuously since its discovery in 1944, our detailed understandings of the interactions between the mechanisms underlying CSD waves have remained elusive. The connection between MwA and CSD makes the understanding of CSD even more compelling and urgent. In addition to all of the information gleaned from the many experimental studies on CSD since its discovery, mathematical modeling studies provide a general and in some sense more precise alternative method for exploring a variety of mechanisms, which may be important to develop a comprehensive picture of the diverse mechanisms leading to CSD wave instigation and propagation. Some of the mechanisms that are believed to be important include ion diffusion, membrane ionic currents, osmotic effects, spatial buffering, neurotransmitter substances, gap junctions, metabolic pumps, and synaptic connections. Discrete and continuum models of CSD consist of coupled nonlinear differential equations for the ion concentrations. In this review of the current quantitative understanding of CSD, we focus on these modeling paradigms and various mechanisms that are felt to be important for CSD.