thesis.bbl

\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{100}

\bibitem{abraham2012creativity}
Anna Abraham, Karoline Pieritz, Kristin Thybusch, Barbara Rutter, S{\"o}ren
  Kr{\"o}ger, Jan Schweckendiek, Rudolf Stark, Sabine Windmann, and Christiane
  Hermann, \emph{Creativity and the brain: uncovering the neural signature of
  conceptual expansion}, Neuropsychologia \textbf{50} (2012), no.~8,
  1906--1917.

\bibitem{abraham2008thinking}
Anna Abraham, Ricarda~I Schubotz, and D~Yves von Cramon, \emph{Thinking about
  the future versus the past in personal and non-personal contexts}, Brain
  research \textbf{1233} (2008), 106--119.

\bibitem{adcock2006reward}
R~Alison Adcock, Arul Thangavel, Susan Whitfield-Gabrieli, Brian Knutson, and
  John~DE Gabrieli, \emph{Reward-motivated learning: mesolimbic activation
  precedes memory formation}, Neuron \textbf{50} (2006), no.~3, 507--517.

\bibitem{aliyari2015effects}
Hamed Aliyari, Masoomeh Kazemi, Elaheh Tekieh, Maryam Salehi, Hedayat Sahraei,
  Mohammad~Reza Daliri, Hassan Agaei, Behroz Minaei, Reza Lashgari, Nahid
  Srahian, et~al., \emph{The effects of fifa 2015 computer games on changes in
  cognitive, hormonal and brain waves functions of young men volunteers}, Basic
  and Clinical Neuroscience \textbf{6} (2015), no.~3, 193--201.

\bibitem{almstrum1996investigating}
Vicki~L Almstrum, \emph{Investigating student difficulties with mathematical
  logic}, Teaching and Learning Formal Methods (1996), 131--160.

\bibitem{anderson2011cognitive}
John~R Anderson, Shawn Betts, Jennifer~L Ferris, and Jon~M Fincham,
  \emph{Cognitive and metacognitive activity in mathematical problem solving:
  prefrontal and parietal patterns}, Cognitive, Affective, \& Behavioral
  Neuroscience \textbf{11} (2011), no.~1, 52--67.

\bibitem{anderson2003information}
John~R Anderson, Yulin Qin, Myeong-Ho Sohn, V~Andrew Stenger, and Cameron~S
  Carter, \emph{An information-processing model of the bold response in symbol
  manipulation tasks}, Psychonomic Bulletin \& Review \textbf{10} (2003),
  no.~2, 241--261.

\bibitem{arcavi1998teaching}
Abraham Arcavi, Cathy Kessel, Luciano Meira, and John~P Smith, \emph{Teaching
  mathematical problem solving: An analysis of an emergent classroom
  community}, Research in collegiate mathematics education, III \textbf{7}
  (1998), 1--70.

\bibitem{bachmann2015brain}
Talis Bachmann, \emph{On the brain-imaging markers of neural correlates of
  consciousness}, Frontiers in psychology \textbf{6} (2015).

\bibitem{baranchik1998supplementary}
ALVIN Baranchik and BARRY Cherkas, \emph{Supplementary methods for assessing
  student performance on a standardized test in elementary algebra}, Research
  in Collegiate Mathematics Education \textbf{3} (1998), 216--233.

\bibitem{Bezdek2015338}
M.A. Bezdek, R.J. Gerrig, W.G. Wenzel, J.~Shin, K.~Pirog Revill, and E.H.
  Schumacher, \emph{Neural evidence that suspense narrows attentional focus},
  Neuroscience \textbf{303} (2015), 338 -- 345.

\bibitem{black1998inside}
Paul Black and Dylan Wiliam, \emph{Inside the black box: Raising standards
  through classroom assessment}, Granada Learning, 1998.

\bibitem{blood2001intensely}
Anne~J Blood and Robert~J Zatorre, \emph{Intensely pleasurable responses to
  music correlate with activity in brain regions implicated in reward and
  emotion}, Proceedings of the National Academy of Sciences \textbf{98} (2001),
  no.~20, 11818--11823.

\bibitem{booth1997phenomenography}
Shirley Booth, \emph{On phenomenography, learning and teaching}, Higher
  education research \& development \textbf{16} (1997), no.~2, 135--158.

\bibitem{born2012system}
Jan Born and Ines Wilhelm, \emph{System consolidation of memory during sleep},
  Psychological research \textbf{76} (2012), no.~2, 192--203.

\bibitem{bower2000postscript}
J~Bower, \emph{Postscript: integrating themes on discourse and design},
  Symbolizing and Communicating in Mathematics Classrooms. Perspectives on
  Discourse, Tools, and Instructional Design, Erlbaum, Mahwah (2000), 385--399.

\bibitem{boyatzis1998transforming}
Richard~E Boyatzis, \emph{Transforming qualitative information: Thematic
  analysis and code development}, Sage, 1998.

\bibitem{bransford2000designs}
John Bransford, Linda Zech, D~Schwarz, Bngid Barron, and Nancy Vye,
  \emph{Designs for environments that invite and sustain mathematical
  thinking}, Symbolizing and Communicating in Mathematics Classrooms (2000),
  275--324.

\bibitem{braun2006using}
Virginia Braun and Victoria Clarke, \emph{Using thematic analysis in
  psychology}, Qualitative research in psychology \textbf{3} (2006), no.~2,
  77--101.

\bibitem{Bridge01082015}
Donna~J. Bridge and Joel~L. Voss, \emph{Binding among select episodic elements
  is altered via active short-term retrieval}, Learning \& Memory \textbf{22}
  (2015), no.~8, 360--363.

\bibitem{bridges2007did}
Douglas~S Bridges, \emph{Did brouwer really believe that?},  (2007).

\bibitem{brosch2013impact}
Tobias Brosch, Klaus~R Scherer, Didier Grandjean, and David Sander, \emph{The
  impact of emotion on perception, attention, memory, and decision-making},
  Swiss Med. Wkly \textbf{143} (2013), w13786.

\bibitem{bulloch2009makes}
Megan~J Bulloch and John~E Opfer, \emph{What makes relational reasoning smart?
  revisiting the perceptual-to-relational shift in the development of
  generalization}, Developmental Science \textbf{12} (2009), no.~1, 114--122.

\bibitem{bussey2013variation}
Thomas~J Bussey, MaryKay Orgill, and Kent~J Crippen, \emph{Variation theory: A
  theory of learning and a useful theoretical framework for chemical education
  research}, Chemistry Education Research and Practice \textbf{14} (2013),
  no.~1, 9--22.

\bibitem{carlson1998cross}
Marilyn~P Carlson, \emph{A cross-sectional investigation of the development of
  the function concept}, Research in Collegiate Mathematics Education III,
  Conference Board of the Mathematical Sciences, Issues in Mathematics
  Education, vol.~7, 1998, pp.~114--162.

\bibitem{carlsson2000neurobiology}
Ingegerd Carlsson, Peter~E Wendt, and Jarl Risberg, \emph{On the neurobiology
  of creativity. differences in frontal activity between high and low creative
  subjects}, Neuropsychologia \textbf{38} (2000), no.~6, 873--885.

\bibitem{cerf2014studying}
Moran Cerf, Hagar Gelbard-Sagiv, and Itzhak Fried, \emph{Studying thoughts and
  deliberations using single neuron recordings in humans}, Single Neuron
  Studies of the Human Brain: Probing Cognition (2014), 189.

\bibitem{chambers2003developmental}
R~Andrew Chambers, Jane~R Taylor, and Marc~N Potenza, \emph{Developmental
  neurocircuitry of motivation in adolescence: a critical period of addiction
  vulnerability}, American Journal of Psychiatry (2003).

\bibitem{chou2011sex}
Kun-Hsien Chou, Yawei Cheng, I-Yun Chen, Ching-Po Lin, and Woei-Chyn Chu,
  \emph{Sex-linked white matter microstructure of the social and analytic
  brain}, Neuroimage \textbf{54} (2011), no.~1, 725--733.

\bibitem{Christoff20098719}
K.~Christoff, A.M. Gordon, J.~Smallwood, R.~Smith, and J.W. Schooler,
  \emph{Experience sampling during fmri reveals default network and executive
  system contributions to mind wandering}, Proceedings of the National Academy
  of Sciences of the United States of America \textbf{106} (2009), no.~21,
  8719--8724, cited By 400.

\bibitem{cohen1982modified}
David~W Cohen, \emph{A modified moore method for teaching undergraduate
  mathematics}, American Mathematical Monthly (1982), 473--490.

\bibitem{cowansage2014direct}
Kiriana~K Cowansage, Tristan Shuman, Blythe~C Dillingham, Allene Chang, Peyman
  Golshani, and Mark Mayford, \emph{Direct reactivation of a coherent
  neocortical memory of context}, Neuron \textbf{84} (2014), no.~2, 432--441.

\bibitem{davis1984protein}
Hasker~P Davis and Larry~R Squire, \emph{Protein synthesis and memory: a
  review.}, Psychological bulletin \textbf{96} (1984), no.~3, 518.

\bibitem{day2007nonintentional}
Samuel~B Day and Dedre Gentner, \emph{Nonintentional analogical inference in
  text comprehension}, Memory \& cognition \textbf{35} (2007), no.~1, 39--49.

\bibitem{decety2007role}
Jean Decety and Claus Lamm, \emph{The role of the right temporoparietal
  junction in social interaction: how low-level computational processes
  contribute to meta-cognition}, The Neuroscientist (2007).

\bibitem{deng2010new}
Wei Deng, James~B Aimone, and Fred~H Gage, \emph{New neurons and new memories:
  how does adult hippocampal neurogenesis affect learning and memory?}, Nature
  Reviews Neuroscience \textbf{11} (2010), no.~5, 339--350.

\bibitem{devlin2012mathematical}
Keith Devlin, \emph{Introduction to mathematical thinking}, Keith Devlin, 2012.

\bibitem{diekelmann2012offline}
Susanne Diekelmann, Simon Biggel, Bj{\"o}rn Rasch, and Jan Born, \emph{Offline
  consolidation of memory varies with time in slow wave sleep and can be
  accelerated by cuing memory reactivations}, Neurobiology of learning and
  memory \textbf{98} (2012), no.~2, 103--111.

\bibitem{diekelmann2010memory}
Susanne Diekelmann and Jan Born, \emph{The memory function of sleep}, Nature
  Reviews Neuroscience \textbf{11} (2010), no.~2, 114--126.

\bibitem{dorfler2000means}
Willi D{\"o}rfler, \emph{Means for meaning}, Symbolizing and communicating in
  mathematics classrooms (2000), 99--131.

\bibitem{dubinsky2002apos}
Ed~Dubinsky and Michael~A McDonald, \emph{Apos: A constructivist theory of
  learning in undergraduate mathematics education research}, The teaching and
  learning of mathematics at university level, Springer, 2002, pp.~275--282.

\bibitem{dudai2012restless}
Yadin Dudai, \emph{The restless engram: consolidations never end}, Annual
  review of neuroscience \textbf{35} (2012), 227--247.

\bibitem{dunbar2000scientists}
Kevin Dunbar, \emph{How scientists think in the real world: Implications for
  science education}, Journal of Applied Developmental Psychology \textbf{21}
  (2000), no.~1, 49--58.

\bibitem{eickhoff2015excessive}
Erin Eickhoff, Kathryn Yung, Diane~L Davis, Frank Bishop, Warren~P Klam, and
  Andrew~P Doan, \emph{Excessive video game use, sleep deprivation, and poor
  work performance among us marines treated in a military mental health clinic:
  A case series}, Military medicine \textbf{180} (2015), no.~7, e839--e843.

\bibitem{ellenbogen2007human}
Jeffrey~M Ellenbogen, Peter~T Hu, Jessica~D Payne, Debra Titone, and Matthew~P
  Walker, \emph{Human relational memory requires time and sleep}, Proceedings
  of the National Academy of Sciences \textbf{104} (2007), no.~18, 7723--7728.

\bibitem{epp2010discrete}
Susanna Epp, \emph{Discrete mathematics with applications}, Cengage Learning,
  2010.

\bibitem{fenker2008novel}
Daniela~B Fenker, Julietta~U Frey, Hartmut Schuetze, Dorothee Heipertz,
  Hans-Jochen Heinze, and Emrah Duzel, \emph{Novel scenes improve recollection
  and recall of words}, Journal of cognitive neuroscience \textbf{20} (2008),
  no.~7, 1250--1265.

\bibitem{fereday2008demonstrating}
Jennifer Fereday and Eimear Muir-Cochrane, \emph{Demonstrating rigor using
  thematic analysis: A hybrid approach of inductive and deductive coding and
  theme development}, International journal of qualitative methods \textbf{5}
  (2008), no.~1, 80--92.

\bibitem{fink1996brain}
Gereon~R Fink, Peter~W Halligan, John~C Marshall, Chris~D Frith, RSJ
  Frackowiak, and Raymond~J Dolan, \emph{Where in the brain does visual
  attention select the forest and the trees?},  (1996).

\bibitem{fischbein1987intuition}
Efraim Fischbein, \emph{Intuition in science and mathematics: An educational
  approach}, vol.~5, Springer Science \& Business Media, 1987.

\bibitem{fletcher2001frontal}
PC~Fletcher and R~Nx˙~A Henson, \emph{Frontal lobes and human memory}, Brain
  \textbf{124} (2001), no.~5, 849--881.

\bibitem{forcato2013role}
Cecilia Forcato, Rodrigo~S Fernandez, and Mar{\'\i}a~E Pedreira, \emph{The role
  and dynamic of strengthening in the reconsolidation process in a human
  declarative memory: what decides the fate of recent and older memories?},
  (2013).

\bibitem{frankland2005organization}
Paul~W Frankland and Bruno Bontempi, \emph{The organization of recent and
  remote memories}, Nature Reviews Neuroscience \textbf{6} (2005), no.~2,
  119--130.

\bibitem{Franklin}
J.~Franklin and A.~Daoud, \emph{Proof in mathematics: An introduction},
  \url{web.maths.unsw.edu.au/∼jim/proofsch2.pdf}, 2011.

\bibitem{freudenthal1973mathematics}
Hans Freudenthal, \emph{Mathematics as an educational task}, Springer Science
  \& Business Media, 1973.

\bibitem{frey2008synaptic}
Sabine Frey and Julietta~U Frey, \emph{‘synaptic tagging’and
  ‘cross-tagging’and related associative reinforcement processes of
  functional plasticity as the cellular basis for memory formation}, Progress
  in brain research \textbf{169} (2008), 117--143.

\bibitem{frey1997synaptic}
Uwe Frey and Richard~GM Morris, \emph{Synaptic tagging and long-term
  potentiation}, Nature \textbf{385} (1997), no.~6616, 533--536.

\bibitem{fried2014single}
Itzhak Fried, Ueli Rutishauser, Moran Cerf, and Gabriel Kreiman, \emph{Single
  neuron studies of the human brain: Probing cognition}, MIT Press, 2014.

\bibitem{gais2006sleep}
Steffen Gais, Brian Lucas, and Jan Born, \emph{Sleep after learning aids memory
  recall}, Learning \& Memory \textbf{13} (2006), no.~3, 259--262.

\bibitem{gentner1988metaphor}
Dedre Gentner, \emph{Metaphor as structure mapping: The relational shift},
  Child development (1988), 47--59.

\bibitem{gentner2012analogical}
Dedre Gentner and Linsey Smith, \emph{Analogical reasoning}, Encyclopedia of
  human behavior (2012), 130--136.

\bibitem{gentner1986systematicity}
Dedre Gentner and Cecile Toupin, \emph{Systematicity and surface similarity in
  the development of analogy}, Cognitive science \textbf{10} (1986), no.~3,
  277--300.

\bibitem{gibson1998students}
DAVID Gibson, \emph{Students’ use of diagrams to develop proofs in an
  introductory analysis course}, CBMS issues in mathematics education
  \textbf{7} (1998), 284--307.

\bibitem{gick1980analogical}
Mary~L Gick and Keith~J Holyoak, \emph{Analogical problem solving}, Cognitive
  psychology \textbf{12} (1980), no.~3, 306--355.

\bibitem{glaser2008conceptualization}
Barney~G Glaser, \emph{Conceptualization: On theory and theorizing using
  grounded theory}, International Journal of Qualitative Methods \textbf{1}
  (2008), no.~2, 23--38.

\bibitem{gray1994duality}
Eddie~M Gray and David~O Tall, \emph{Duality, ambiguity, and flexibility: A
  "proceptual" view of simple arithmetic}, Journal for research in Mathematics
  Education (1994), 116--140.

\bibitem{gries2012science}
David Gries, \emph{The science of programming}, Springer Science \& Business
  Media, 2012.

\bibitem{gurden1999integrity}
H~Gurden, J-P Tassin, and TM~Jay, \emph{Integrity of the mesocortical
  dopaminergic system is necessary for complete expression of in vivo
  hippocampal--prefrontal cortex long-term potentiation}, Neuroscience
  \textbf{94} (1999), no.~4, 1019--1027.

\bibitem{harel1998students}
Guershon Harel and Larry Sowder, \emph{Students’ proof schemes: Results from
  exploratory studies}, Research in collegiate mathematics education III
  \textbf{7} (1998), 234--282.

\bibitem{harel1991constructionism}
Idit~Ed Harel and Seymour~Ed Papert, \emph{Constructionism.}, Ablex Publishing,
  1991.

\bibitem{hazzan2003students}
Orit Hazzan, \emph{How students attempt to reduce abstraction in the learning
  of mathematics and in the learning of computer science}, Computer Science
  Education \textbf{13} (2003), no.~2, 95--122.

\bibitem{hiebert2013conceptual}
James Hiebert, \emph{Conceptual and procedural knowledge: The case of
  mathematics}, Routledge, 2013.

\bibitem{huang2015highest}
Li~Huang, Francesca Gino, and Adam~D Galinsky, \emph{The highest form of
  intelligence: Sarcasm increases creativity for both expressers and
  recipients}, Organizational Behavior and Human Decision Processes (2015).

\bibitem{hunt1995subtlety}
R~Reed Hunt, \emph{The subtlety of distinctiveness: What von restorff really
  did}, Psychonomic Bulletin \& Review \textbf{2} (1995), no.~1, 105--112.

\bibitem{huth2012continuous}
Alexander~G Huth, Shinji Nishimoto, An~T Vu, and Jack~L Gallant, \emph{A
  continuous semantic space describes the representation of thousands of object
  and action categories across the human brain}, Neuron \textbf{76} (2012),
  no.~6, 1210--1224.

\bibitem{hyman2001addiction}
Steven~E Hyman and Robert~C Malenka, \emph{Addiction and the brain: the
  neurobiology of compulsion and its persistence}, Nature reviews neuroscience
  \textbf{2} (2001), no.~10, 695--703.

\bibitem{imamoglu2012changes}
Fatma Imamoglu, Thorsten Kahnt, Christof Koch, and John-Dylan Haynes,
  \emph{Changes in functional connectivity support conscious object
  recognition}, Neuroimage \textbf{63} (2012), no.~4, 1909--1917.

\bibitem{jacobs2008developing}
Sally Jacobs and Maria Trigueros, \emph{On developing a rich conception of
  variable}, Making the connection: Research and teaching in undergraduate
  mathematics education (2008), no.~73, 1.

\bibitem{kafkas2015striatal}
Alexandros Kafkas and Daniela Montaldi, \emph{Striatal and midbrain
  connectivity with the hippocampus selectively boosts memory for contextual
  novelty}, Hippocampus (2015).

\bibitem{kaput1998research}
James~J Kaput, Alan~H Schoenfeld, and Ed~Dubinsky, \emph{Research in collegiate
  mathematics education iii}, vol.~4, American Mathematical Soc., 1998.

\bibitem{karpicke2008critical}
Jeffrey~D Karpicke and Henry~L Roediger, \emph{The critical importance of
  retrieval for learning}, science \textbf{319} (2008), no.~5865, 966--968.

\bibitem{kee2007preferential}
Nohjin Kee, C{\'a}tia~M Teixeira, Afra~H Wang, and Paul~W Frankland,
  \emph{Preferential incorporation of adult-generated granule cells into
  spatial memory networks in the dentate gyrus}, Nature neuroscience
  \textbf{10} (2007), no.~3, 355--362.

\bibitem{keller2009gender}
Katherine Keller and Vinod Menon, \emph{Gender differences in the functional
  and structural neuroanatomy of mathematical cognition}, Neuroimage
  \textbf{47} (2009), no.~1, 342--352.

\bibitem{kemmerer}
David Kemmerer, \emph{Cognitive neurscience of language}, Psychology Press,
  2015.

\bibitem{kendall1999axial}
Judy Kendall, \emph{Axial coding and the grounded theory controversy}, Western
  journal of nursing research \textbf{21} (1999), no.~6, 743--757.

\bibitem{kinsbourne1974mechanism}
Marcel Kinsbourne and James George, \emph{The mechanism of the word-frequency
  effect on recognition memory}, Journal of Verbal Learning and Verbal Behavior
  \textbf{13} (1974), no.~1, 63--69.

\bibitem{kishiyama2004restorff}
Mark~M Kishiyama, Andy~P Yonelinas, and MM~Lazzara, \emph{The von restorff
  effect in amnesia: The contribution of the hippocampal system to
  novelty-related memory enhancements}, Journal of cognitive neuroscience
  \textbf{16} (2004), no.~1, 15--23.

\bibitem{kitamura2009adult}
Takashi Kitamura, Yoshito Saitoh, Noriko Takashima, Akiko Murayama, Yosuke
  Niibori, Hiroshi Ageta, Mariko Sekiguchi, Hiroyuki Sugiyama, and Kaoru
  Inokuchi, \emph{Adult neurogenesis modulates the hippocampus-dependent period
  of associative fear memory}, Cell \textbf{139} (2009), no.~4, 814--827.

\bibitem{klimesch1996theta}
W~Klimesch, M~Doppelmayr, H~Russegger, and Th~Pachinger, \emph{Theta band power
  in the human scalp eeg and the encoding of new information.}, Neuroreport
  \textbf{7} (1996), no.~7, 1235--1240.

\bibitem{knutson2001anticipation}
Brian Knutson, Charles~M Adams, Grace~W Fong, and Daniel Hommer,
  \emph{Anticipation of increasing monetary reward selectively recruits nucleus
  accumbens}, J Neurosci \textbf{21} (2001), no.~16, RC159.

\bibitem{knutson2003region}
Brian Knutson, Grace~W Fong, Shannon~M Bennett, Charles~M Adams, and Daniel
  Hommer, \emph{A region of mesial prefrontal cortex tracks monetarily
  rewarding outcomes: characterization with rapid event-related fmri},
  Neuroimage \textbf{18} (2003), no.~2, 263--272.

\bibitem{kosslyn1992wet}
Stephen~Michael Kosslyn and Olivier Koenig, \emph{Wet mind: The new cognitive
  neuroscience}, Simon and Schuster, 1992.

\bibitem{kounios2015eureka}
John Kounios and Mark Beeman, \emph{The eureka factor: Aha moments, creative
  insight, and the brain}, Random House, 2015.

\bibitem{kowatari2009neural}
Yasuyuki Kowatari, Seung~Hee Lee, Hiromi Yamamura, Yusuke Nagamori, Pierre
  Levy, Shigeru Yamane, and Miyuki Yamamoto, \emph{Neural networks involved in
  artistic creativity}, Human brain mapping \textbf{30} (2009), no.~5,
  1678--1690.

\bibitem{krebs2009personality}
Ruth~M Krebs, Bj{\"o}rn~H Schott, and Emrah D{\"u}zel, \emph{Personality traits
  are differentially associated with patterns of reward and novelty processing
  in the human substantia nigra/ventral tegmental area}, Biological psychiatry
  \textbf{65} (2009), no.~2, 103--110.

\bibitem{kuriyama2004sleep}
Kenichi Kuriyama, Robert Stickgold, and Matthew~P Walker, \emph{Sleep-dependent
  learning and motor-skill complexity}, Learning \& Memory \textbf{11} (2004),
  no.~6, 705--713.

\bibitem{lee2007strategic}
Kerry Lee, Zee~Ying Lim, Stephanie~HM Yeong, Swee~Fong Ng, Vinod Venkatraman,
  and Michael~WL Chee, \emph{Strategic differences in algebraic problem
  solving: Neuroanatomical correlates}, Brain research \textbf{1155} (2007),
  163--171.

\bibitem{lehrer2000inter}
Richard Lehrer, Leona Schauble, Susan Carpenter, and David Penner, \emph{The
  inter-related development of inscriptions and conceptual understanding},
  Symbolizing and communicating in mathematics classrooms: Perspectives on
  discourse, tools, and instructional design (2000), 325--360.

\bibitem{leron1983structuring}
Uri Leron, \emph{Structuring mathematical proofs}, American Mathematical
  Monthly (1983), 174--185.

\bibitem{leron1995abstract}
Uri Leron and Ed~Dubinsky, \emph{An abstract algebra story}, American
  Mathematical Monthly (1995), 227--242.

\bibitem{lesh2000symbolizing}
Richard Lesh and Helen~M Doerr, \emph{Symbolizing, communicating, and
  mathematizing: Key components of models and modeling}, Symbolizing and
  communicating in mathematics classrooms: Perspectives on discourse, tools,
  and instructional design (2000), 361--384.

\bibitem{lindquist2013mind}
Sophie~India Lindquist, \emph{Mind wandering during lectures: Observations of
  the prevalence and correlates of attentional lapses, and their relationships
  with task characteristics and memory},  (2013).

\bibitem{lisman2011neohebbian}
John Lisman, Anthony~A Grace, and Emrah Duzel, \emph{A neohebbian framework for
  episodic memory; role of dopamine-dependent late ltp}, Trends in
  neurosciences \textbf{34} (2011), no.~10, 536--547.

\bibitem{lisman2013habit}
John Lisman and Eliezer~J Sternberg, \emph{Habit and nonhabit systems for
  unconscious and conscious behavior: Implications for multitasking}, Journal
  of cognitive neuroscience \textbf{25} (2013), no.~2, 273--283.

\bibitem{lisman2005hippocampal}
John~E Lisman and Anthony~A Grace, \emph{The hippocampal-vta loop: controlling
  the entry of information into long-term memory}, Neuron \textbf{46} (2005),
  no.~5, 703--713.

\bibitem{lisman2001storage}
John~E Lisman and Nonna~A Otmakhova, \emph{Storage, recall, and novelty
  detection of sequences by the hippocampus: elaborating on the socratic model
  to account for normal and aberrant effects of dopamine}, Hippocampus
  \textbf{11} (2001), no.~5, 551--568.

\bibitem{loewenberg2003mathematical}
Deborah Loewenberg et~al., \emph{Mathematical proficiency for all students:
  Toward a strategic research and development program in mathematics
  education}, Rand Corporation, 2003.

\bibitem{luck2014potentiation}
David Luck, Marie-Eve Leclerc, and Martin Lepage, \emph{The potentiation of
  associative memory by emotions: An event-related fmri study}, Advances in
  Neuroscience \textbf{2014} (2014).

\bibitem{lustenberger2012triangular}
Caroline Lustenberger, Angelina Maric, Roland D{\"u}rr, Peter Achermann, and
  Reto Huber, \emph{Triangular relationship between sleep spindle activity,
  general cognitive ability and the efficiency of declarative learning},
  (2012).

\bibitem{lutzer1988comprehension}
Victoria~D Lutzer, \emph{Comprehension of proverbs by average children and
  children with learning disorders}, Journal of learning disabilities
  \textbf{21} (1988), no.~2, 104--108.

\bibitem{maass2015does}
Asja Maass, Klara~Maria Kl{\"o}pper, Friederike Michel, and Arnold Lohaus,
  \emph{Does media use have a short-term impact on cognitive performance?},
  Journal of Media Psychology (2015).

\bibitem{maddox2014directing}
Ross~K Maddox, Dean~A Pospisil, G~Christopher Stecker, and Adrian~KC Lee,
  \emph{Directing eye gaze enhances auditory spatial cue discrimination},
  Current Biology \textbf{24} (2014), no.~7, 748--752.

\bibitem{Mains01072015}
Tyler~E Mains, Joseph Cofrancesco, Stephen~M Milner, Nina~G Shah, and Harry
  Goldberg, \emph{Do questions help? the impact of audience response systems on
  medical student learning: a randomised controlled trial}, Postgraduate
  Medical Journal \textbf{91} (2015), no.~1077, 361--367.

\bibitem{maquet2000experience}
Pierre Maquet, Steven Laureys, Philippe Peigneux, Sonia Fuchs, Christophe
  Petiau, Christophe Phillips, Joel Aerts, Guy Del~Fiore, Christian Degueldre,
  Thierry Meulemans, et~al., \emph{Experience-dependent changes in cerebral
  activation during human rem sleep}, Nature neuroscience \textbf{3} (2000),
  no.~8, 831--836.

\bibitem{marshall2007contribution}
Lisa Marshall and Jan Born, \emph{The contribution of sleep to
  hippocampus-dependent memory consolidation}, Trends in cognitive sciences
  \textbf{11} (2007), no.~10, 442--450.

\bibitem{martin2015grapes}
Alex Martin, \emph{Grapes—grounding representations in action, perception,
  and emotion systems: How object properties and categories are represented in
  the human brain}, Psychonomic bulletin \& review (2015), 1--12.

\bibitem{martin2000synaptic}
SJ~Martin, PD~Grimwood, and RGM Morris, \emph{Synaptic plasticity and memory:
  an evaluation of the hypothesis}, Annual review of neuroscience \textbf{23}
  (2000), no.~1, 649--711.

\bibitem{marton1981phenomenography}
Ference Marton, \emph{Phenomenography—describing conceptions of the world
  around us}, Instructional science \textbf{10} (1981), no.~2, 177--200.

\bibitem{marton1997learning}
Ference Marton and Shirley~A Booth, \emph{Learning and awareness}, Routledge,
  1997.

\bibitem{marton2005unit}
Ference Marton and Wing~Yan Pong, \emph{On the unit of description in
  phenomenography}, Higher Education Rresearch \& Development \textbf{24}
  (2005), no.~4, 335--348.

\bibitem{mason1989mathematical}
John Mason, \emph{Mathematical abstraction as the result of a delicate shift of
  attention}, For the learning of mathematics (1989), 2--8.

\bibitem{masterman1997frontal}
Donna~L Masterman and Jeffrey~L Cummings, \emph{Frontal-subcortical circuits:
  the anatomic basis of executive, social and motivated behaviors}, Journal of
  Psychopharmacology \textbf{11} (1997), no.~2, 107--114.

\bibitem{Mattuck}
Arthur Mattuck, \emph{Introduction to analysis}, Prentice Hall, 1999.

\bibitem{mcleod1992research}
Douglas~B McLeod, \emph{Research on affect in mathematics education: A
  reconceptualization}, Handbook of research on mathematics teaching and
  learning (1992), 575--596.

\bibitem{meel1998honors}
DAVID~E Meel, \emph{Honors students’ calculus understandings: Comparing
  calculus\&mathematica and traditional calculus students}, CBMS Issues in
  Mathematics Education \textbf{7} (1998), 163--215.

\bibitem{melby2013working}
Monica Melby-Lerv{\aa}g and Charles Hulme, \emph{Is working memory training
  effective? a meta-analytic review.}, Developmental psychology \textbf{49}
  (2013), no.~2, 270.

\bibitem{mercer2015stress}
Nicole Mercer, \emph{Stress relieving video games: Creating a game for the
  purpose of stress relief and analyzing its effectiveness},  (2015).

\bibitem{Merriam2002}
Sharan~B. Merriam, \emph{Qualitative research in practice}, Jossey-Bass, 2002.

\bibitem{Merriam2009}
\bysame, \emph{Qualitative research a guide to design and implementation},
  Jossey-Bass, 2009.

\bibitem{Mihov2010442}
K.M. Mihov, M.~Denzler, and J.~Förster, \emph{Hemispheric specialization and
  creative thinking: A meta-analytic review of lateralization of creativity},
  Brain and Cognition \textbf{72} (2010), no.~3, 442--448, cited By 37.

\bibitem{milner1978theory}
Robin Milner, \emph{A theory of type polymorphism in programming}, Journal of
  computer and system sciences \textbf{17} (1978), no.~3, 348--375.

\bibitem{Miron-Spektor20111065}
E.~Miron-Spektor, D.~Efrat-Treister, A.~Rafaeli, and O.~Schwarz-Cohen,
  \emph{Others' anger makes people work harder not smarter: The effect of
  observing anger and sarcasm on creative and analytic thinking}, Journal of
  Applied Psychology \textbf{96} (2011), no.~5, 1065--1075, cited By 9.

\bibitem{moore1994making}
Robert~C Moore, \emph{Making the transition to formal proof}, Educational
  Studies in Mathematics \textbf{27} (1994), no.~3, 249--266.

\bibitem{mormann2014visual}
Florian Mormann, Matias~J Ison, Rodrigo~Quian Quiroga, Christof Koch, Itzhak
  Fried, and Gabriel Kreiman, \emph{Visual cognitive adventures of single
  neurons in the human medial temporal lobe}, Single Neuron Studies of the
  Human Brain: Probing Cognition (2014), 121.

\bibitem{mulder1997short}
AB~Mulder, MPM Arts, and FH~Silva, \emph{Short-and long-term plasticity of the
  hippocampus to nucleus accumbens and prefrontal cortex pathways in the rat,
  in vivo}, European Journal of Neuroscience \textbf{9} (1997), no.~8,
  1603--1611.

\bibitem{murayama2014consolidation}
Kou Murayama and Shinji Kitagami, \emph{Consolidation power of extrinsic
  rewards: Reward cues enhance long-term memory for irrelevant past events.},
  Journal of Experimental Psychology: General \textbf{143} (2014), no.~1, 15.

\bibitem{nelson1993proofs}
Roger~B Nelson, \emph{Proofs without words}, Mathematical Association of
  America \textbf{84} (1993), 90.

\bibitem{nemirovskymonk}
R~Nemirovsky, \emph{Monk, s.(2000):—if you look at it the other way…“an
  exploration into the nature of symbolizing}, Symbolizing and Communicating in
  Mathematics Classrooms. Hillsdale NJ: Lawrence Erlbaum Associates.

\bibitem{nishida2009rem}
Masaki Nishida, Jori Pearsall, Randy~L Buckner, and Matthew~P Walker, \emph{Rem
  sleep, prefrontal theta, and the consolidation of human emotional memory},
  Cerebral Cortex \textbf{19} (2009), no.~5, 1158--1166.

\bibitem{ojemann2014human}
George Ojemann, \emph{Human lateral temporal cortical single neuron activity
  during language, recent memory, and learning}, Single Neuron Studies of the
  Human Brain: Probing Cognition (2014), 247.

\bibitem{or2004cognitive}
Rachel Or-Bach and Ilana Lavy, \emph{Cognitive activities of abstraction in
  object orientation: an empirical study}, ACM SIGCSE Bulletin \textbf{36}
  (2004), no.~2, 82--86.

\bibitem{ouchi2013reduced}
Yasuo Ouchi, Yuya Banno, Yuko Shimizu, Shouta Ando, Hitoki Hasegawa, Koichi
  Adachi, and Takashi Iwamoto, \emph{Reduced adult hippocampal neurogenesis and
  working memory deficits in the dgcr8-deficient mouse model of 22q11. 2
  deletion-associated schizophrenia can be rescued by igf2}, The Journal of
  Neuroscience \textbf{33} (2013), no.~22, 9408--9419.

\bibitem{owen2005n}
Adrian~M Owen, Kathryn~M McMillan, Angela~R Laird, and Ed~Bullmore,
  \emph{N-back working memory paradigm: A meta-analysis of normative functional
  neuroimaging studies}, Human brain mapping \textbf{25} (2005), no.~1, 46--59.

\bibitem{paller2002observing}
Ken~A Paller and Anthony~D Wagner, \emph{Observing the transformation of
  experience into memory}, Trends in cognitive sciences \textbf{6} (2002),
  no.~2, 93--102.

\bibitem{parker1998restorff}
Amanda Parker, Edward Wilding, and Colin Akerman, \emph{The von restorff effect
  in visual object recognition memory in humans and monkeys: The role of
  frontal/perirhinal interaction}, Journal of Cognitive Neuroscience
  \textbf{10} (1998), no.~6, 691--703.

\bibitem{patel2014human}
Shaun~R Patel, Demetrio Sierra-Mercado, Clarissa Martinez-Rubio, and Emad~N
  Eskandar, \emph{Human single neuron reward processing in the basal ganglia
  and anterior cingulate}, Single Neuron Studies of the Human Brain: Probing
  Cognition (2014), 205.

\bibitem{paz2013physiological}
Rony Paz and Denis Pare, \emph{Physiological basis for emotional modulation of
  memory circuits by the amygdala}, Current opinion in neurobiology \textbf{23}
  (2013), no.~3, 381--386.

\bibitem{pedreira2010responses}
Carlos Pedreira, Florian Mormann, Alexander Kraskov, Moran Cerf, Itzhak Fried,
  Christof Koch, and Rodrigo~Quian Quiroga, \emph{Responses of human medial
  temporal lobe neurons are modulated by stimulus repetition}, Journal of
  neurophysiology \textbf{103} (2010), no.~1, 97--107.

\bibitem{polyn2008memory}
Sean~M Polyn and Michael~J Kahana, \emph{Memory search and the neural
  representation of context}, Trends in cognitive sciences \textbf{12} (2008),
  no.~1, 24--30.

\bibitem{prince2004does}
Michael Prince, \emph{Does active learning work? a review of the research},
  JOURNAL OF ENGINEERING EDUCATION-WASHINGTON- \textbf{93} (2004), 223--232.

\bibitem{quiroga2012concept}
Rodrigo~Quian Quiroga, \emph{Concept cells: the building blocks of declarative
  memory functions}, Nature Reviews Neuroscience \textbf{13} (2012), no.~8,
  587--597.

\bibitem{rasslan2002definitions}
Shaker Rasslan and David Tall, \emph{Definitions and images for the definite
  integral concept}, PME CONFERENCE, vol.~4, 2002, pp.~4--089.

\bibitem{rattermann1998more}
Mary~Jo Rattermann and Dedre Gentner, \emph{More evidence for a relational
  shift in the development of analogy: Children's performance on a
  causal-mapping task}, Cognitive Development \textbf{13} (1998), no.~4,
  453--478.

\bibitem{reilly2014examination}
Christine~F Reilly and Emmett Tomai, \emph{An examination of mathematics
  preparation for and progress through three introductory computer science
  courses}, Frontiers in Education Conference (FIE), 2014 IEEE, IEEE, 2014,
  pp.~1--9.

\bibitem{ribeiro2002induction}
Sidarta Ribeiro, Claudio~V Mello, Tarciso Velho, Timothy~J Gardner, Erich~D
  Jarvis, and Constantine Pavlides, \emph{Induction of hippocampal long-term
  potentiation during waking leads to increased extrahippocampal zif-268
  expression during ensuing rapid-eye-movement sleep}, The Journal of
  Neuroscience \textbf{22} (2002), no.~24, 10914--10923.

\bibitem{ribeiro2007novel}
Sidarta Ribeiro, Xinwu Shi, Matthew Engelhard, Yi~Zhou, Hao Zhang, Damien
  Gervasoni, Shi-Chieh Lin, Kazuhiro Wada, Nelson~AM Lemos, and Miguel~AL
  Nicolelis, \emph{Novel experience induces persistent sleep-dependent
  plasticity in the cortex but not in the hippocampus}, Frontiers in
  Neuroscience \textbf{1} (2007), no.~1, 43.

\bibitem{robertson2004awareness}
Edwin~M Robertson, Alvaro Pascual-Leone, and Daniel~Z Press, \emph{Awareness
  modifies the skill-learning benefits of sleep}, Current Biology \textbf{14}
  (2004), no.~3, 208--212.

\bibitem{rosen2003}
Kenneth~H Rosen, \emph{Discrete mathematics and its applications, 5th ed.},
  McGraw Hill, 2003.

\bibitem{rosken2007integrating}
Bettina R{\"o}sken and Katrin Rolka, \emph{Integrating intuition: The role of
  concept image and concept definition for students' learning of integral
  calculus}, The Montana Mathematics Enthusiast \textbf{3} (2007), 181--204.

\bibitem{rota1997phenomenology}
Gian-Carlo Rota, \emph{The phenomenology of mathematical beauty}, Synthese
  \textbf{111} (1997), no.~2, 171--182.

\bibitem{rottschy2012modelling}
Claudia Rottschy, Robert Langner, Imis Dogan, Kathrin Reetz, Angela~R Laird,
  J{\"o}rg~B Schulz, Peter~T Fox, and Simon~B Eickhoff, \emph{Modelling neural
  correlates of working memory: a coordinate-based meta-analysis}, Neuroimage
  \textbf{60} (2012), no.~1, 830--846.

\bibitem{roux2014working}
Fr{\'e}d{\'e}ric Roux and Peter~J Uhlhaas, \emph{Working memory and neural
  oscillations: alpha--gamma versus theta--gamma codes for distinct wm
  information?}, Trends in cognitive sciences \textbf{18} (2014), no.~1,
  16--25.

\bibitem{russoniello2009effectiveness}
Carmen~V Russoniello, Kevin O’Brien, and Jennifer~M Parks, \emph{The
  effectiveness of casual video games in improving mood and decreasing stress},
  Journal of Cyber Therapy and Rehabilitation \textbf{2} (2009), no.~1, 53--66.

\bibitem{rutishauser2014next}
Ueli Rutishauser, Itzhak Fried, Moran Cerf, and Gabriel Kreiman, \emph{The next
  ten years and beyond}, Single Neuron Studies of the Human Brain: Probing
  Cognition (2014), 347.

\bibitem{rutishauser2014single}
Ueli Rutishauser, Erin~M Schuman, and Adam~N Mamelak, \emph{Single neuron
  correlates of declarative memory formation and retrieval in the human medial
  temporal lobe}, Single Neuron Studies of the Human Brain: Probing Cognition
  (2014), 101.

\bibitem{sali2014role}
Anthony~W Sali, Brian~A Anderson, and Steven Yantis, \emph{The role of reward
  prediction in the control of attention.}, Journal of experimental psychology:
  human perception and performance \textbf{40} (2014), no.~4, 1654.

\bibitem{salimpoor2015predictions}
Valorie~N Salimpoor, David~H Zald, Robert~J Zatorre, Alain Dagher, and
  Anthony~Randal McIntosh, \emph{Predictions and the brain: How musical sounds
  become rewarding}, Trends in cognitive sciences \textbf{19} (2015), no.~2,
  86--91.

\bibitem{sandrini2015modulating}
Marco Sandrini, Leonardo~G Cohen, and Nitzan Censor, \emph{Modulating
  reconsolidation: a link to causal systems-level dynamics of human memories},
  Trends in cognitive sciences \textbf{19} (2015), no.~8, 475--482.

\bibitem{santos1998instructional}
Manuel Santos-Trigo, \emph{Instructional qualities of a successful mathematical
  problem-solving class∗}, International Journal of Mathematical Education in
  Science and Technology \textbf{29} (1998), no.~5, 631--646.

\bibitem{sarter2005unraveling}
Martin Sarter, Michael~E Hasselmo, John~P Bruno, and Ben Givens,
  \emph{Unraveling the attentional functions of cortical cholinergic inputs:
  interactions between signal-driven and cognitive modulation of signal
  detection}, Brain Research Reviews \textbf{48} (2005), no.~1, 98--111.

\bibitem{schacter1998cognitive}
Daniel~L Schacter, Kenneth~A Norman, and Wilma Koutstaal, \emph{The cognitive
  neuroscience of constructive memory}, Annual review of psychology \textbf{49}
  (1998), no.~1, 289--318.

\bibitem{schendan2003fmri}
Haline~E Schendan, Meghan~M Searl, Rebecca~J Melrose, and Chantal~E Stern,
  \emph{An fmri study of the role of the medial temporal lobe in implicit and
  explicit sequence learning}, Neuron \textbf{37} (2003), no.~6, 1013--1025.

\bibitem{schmalz2015getting}
Xenia Schmalz, Eva Marinus, Max Coltheart, and Anne Castles, \emph{Getting to
  the bottom of orthographic depth}, Psychonomic bulletin \& review (2015),
  1--16.

\bibitem{schoenfeld1998reflections}
Alan~H Schoenfeld, \emph{Reflections on a course in mathematical problem
  solving}, Research in collegiate mathematics education III (1998), 81--113.

\bibitem{schoenfeld1993learning}
Alan~H Schoenfeld, John~P Smith, and Abraham Arcavi, \emph{Learning: The
  microgenetic analysis of one student’s evolving understanding of a complex
  subject matter domain}, Advances in instructional psychology \textbf{4}
  (1993), 55--175.

\bibitem{schultz2000neuronal}
Wolfram Schultz and Anthony Dickinson, \emph{Neuronal coding of prediction
  errors}, Annual review of neuroscience \textbf{23} (2000), no.~1, 473--500.

\bibitem{schwabe2014reconsolidation}
Lars Schwabe, Karim Nader, and Jens~C Pruessner, \emph{Reconsolidation of human
  memory: brain mechanisms and clinical relevance}, Biological psychiatry
  \textbf{76} (2014), no.~4, 274--280.

\bibitem{sederberg2003theta}
Per~B Sederberg, Michael~J Kahana, Marc~W Howard, Elizabeth~J Donner, and
  Joseph~R Madsen, \emph{Theta and gamma oscillations during encoding predict
  subsequent recall}, The Journal of Neuroscience \textbf{23} (2003), no.~34,
  10809--10814.

\bibitem{sipser2012introduction}
Michael Sipser, \emph{Introduction to the theory of computation}, Cengage
  Learning, 2012.

\bibitem{smith2013categorizing}
Th{\'e}r{\`e}se Smith and Robert McCartney, \emph{Categorizing the school
  experience of entering computing students}, Journal of Computing Sciences in
  Colleges \textbf{28} (2013), no.~3, 78--85.

\bibitem{smith2014computer}
\bysame, \emph{Computer science students' concepts of proof by induction},
  Proceedings of the 14th Koli Calling International Conference on Computing
  Education Research, ACM, 2014, pp.~51--60.

\bibitem{smith2013mathematization}
Tim Smith and Robert McCartney, \emph{Mathematization in teaching pumping
  lemmas}, Frontiers in Education Conference, 2013 IEEE, IEEE, 2013,
  pp.~1671--1677.

\bibitem{sohn2004behavioral}
Myeong-Ho Sohn, Adam Goode, Kenneth~R Koedinger, V~Andrew Stenger, Kate
  Fissell, Cameron~S Carter, and John~R Anderson, \emph{Behavioral equivalence,
  but not neural equivalence—neural evidence of alternative strategies in
  mathematical thinking}, Nature neuroscience \textbf{7} (2004), no.~11,
  1193--1194.

\bibitem{squire1987memory}
Larry~R Squire, \emph{Memory and brain}, New York (1987).

\bibitem{squire2015conscious}
Larry~R Squire and Adam~JO Dede, \emph{Conscious and unconscious memory
  systems}, Cold Spring Harbor perspectives in biology \textbf{7} (2015),
  no.~3, a021667.

\bibitem{squire2000memory}
Larry~R Squire and Eric~R Kandel, \emph{Memory: From mind to molecules},
  Macmillan, 2000.

\bibitem{strauss1990basics}
Anselm~Leonard Strauss, Juliet~M Corbin, et~al., \emph{Basics of qualitative
  research}, vol.~15, Sage Newbury Park, CA, 1990.

\bibitem{suhonen2007applications}
Jarkko Suhonen, Janet Davies, Errol Thompson, et~al., \emph{Applications of
  variation theory in computing education}, Proc. of the Seventh Baltic Sea
  Conference on Computing Education Research-Volume 88, Australian Computer
  Society, Inc., 2007, pp.~217--220.

\bibitem{suthana2012memory}
Nanthia Suthana, Zulfi Haneef, John Stern, Roy Mukamel, Eric Behnke, Barbara
  Knowlton, and Itzhak Fried, \emph{Memory enhancement and deep-brain
  stimulation of the entorhinal area}, New England Journal of Medicine
  \textbf{366} (2012), no.~6, 502--510.

\bibitem{svensson1997theoretical}
Lennart Svensson, \emph{Theoretical foundations of phenomenography}, Higher
  Education Research \& Development \textbf{16} (1997), no.~2, 159--171.

\bibitem{takeuchi2010training}
Hikaru Takeuchi, Atsushi Sekiguchi, Yasuyuki Taki, Satoru Yokoyama, Yukihito
  Yomogida, Nozomi Komuro, Tohru Yamanouchi, Shozo Suzuki, and Ryuta Kawashima,
  \emph{Training of working memory impacts structural connectivity}, The
  Journal of neuroscience \textbf{30} (2010), no.~9, 3297--3303.

\bibitem{talamini2008sleep}
Lucia~M Talamini, Ingrid~LC Nieuwenhuis, Atsuko Takashima, and Ole Jensen,
  \emph{Sleep directly following learning benefits consolidation of spatial
  associative memory}, Learning \& Memory \textbf{15} (2008), no.~4, 233--237.

\bibitem{tall2008transition}
David Tall, \emph{The transition to formal thinking in mathematics},
  Mathematics Education Research Journal \textbf{20} (2008), no.~2, 5--24.

\bibitem{tall2001symbols}
David Tall, Eddie Gray, Maselan~Bin Ali, Lillie Crowley, Phil DeMarois,
  Mercedes McGowen, Demetra Pitta, Marcia Pinto, Michael Thomas, and Yudariah
  Yusof, \emph{Symbols and the bifurcation between procedural and conceptual
  thinking}, Canadian Journal of Math, Science \& Technology Education
  \textbf{1} (2001), no.~1, 81--104.

\bibitem{tayler2013reactivation}
Kaycie~K Tayler, Kazumasa~Z Tanaka, Leon~G Reijmers, and Brian~J Wiltgen,
  \emph{Reactivation of neural ensembles during the retrieval of recent and
  remote memory}, Current Biology \textbf{23} (2013), no.~2, 99--106.

\bibitem{thagard2011aha}
Paul Thagard and Terrence~C Stewart, \emph{The aha! experience: Creativity
  through emergent binding in neural networks}, Cognitive science \textbf{35}
  (2011), no.~1, 1--33.

\bibitem{toni2008neurons}
Nicolas Toni, Diego~A Laplagne, Chunmei Zhao, Gabriela Lombardi, Charles~E
  Ribak, Fred~H Gage, and Alejandro~F Schinder, \emph{Neurons born in the adult
  dentate gyrus form functional synapses with target cells}, Nature
  neuroscience \textbf{11} (2008), no.~8, 901--907.

\bibitem{tononi2014sleep}
Giulio Tononi and Chiara Cirelli, \emph{Sleep and the price of plasticity: from
  synaptic and cellular homeostasis to memory consolidation and integration},
  Neuron \textbf{81} (2014), no.~1, 12--34.

\bibitem{trouche2009recruitment}
St{\'e}phanie Trouche, Bruno Bontempi, Pascal Roullet, and Claire Rampon,
  \emph{Recruitment of adult-generated neurons into functional hippocampal
  networks contributes to updating and strengthening of spatial memory},
  Proceedings of the National Academy of Sciences \textbf{106} (2009), no.~14,
  5919--5924.

\bibitem{valiant2000circuits}
Leslie~G Valiant, \emph{Circuits of the mind}, Oxford University Press, 2000.

\bibitem{van1992jasper}
JP~Van~Haneghan, Linda Barron, MF~Young, SM~Williams, NJ~Vye, and JD~Bransford,
  \emph{The jasper series: An experiment with new ways to enhance mathematical
  thinking}, Enhancing thinking skills in the sciences and mathematics (1992),
  15--38.

\bibitem{van2000appropriation}
Bert van Oers, \emph{The appropriation of mathematical symbols: A
  psychosemiotic approach to mathematics learning}, Symbolizing and
  communicating in mathematics classrooms: Perspectives on discourse, tools,
  and instructional design (2000), 133--176.

\bibitem{van2011slow}
EJ~Van~Someren, \emph{Slow brain oscillations of sleep, resting state and
  vigilance}, vol. 193, Elsevier, 2011.

\bibitem{viete2006analytic}
Fran{\c{c}}ois Vi{\`e}te and T~Richard Witmer, \emph{The analytic art}, Courier
  Corporation, 2006.

\bibitem{waelti2001dopamine}
Pascale Waelti, Anthony Dickinson, and Wolfram Schultz, \emph{Dopamine
  responses comply with basic assumptions of formal learning theory}, Nature
  \textbf{412} (2001), no.~6842, 43--48.

\bibitem{wagner2008memory}
Ullrich Wagner and Jan Born, \emph{Memory consolidation during sleep:
  Interactive effects of sleep stages and hpa regulation: Review}, Stress
  \textbf{11} (2008), no.~1, 28--41.

\bibitem{wagner2004sleep}
Ullrich Wagner, Steffen Gais, Hilde Haider, Rolf Verleger, and Jan Born,
  \emph{Sleep inspires insight}, Nature \textbf{427} (2004), no.~6972,
  352--355.

\bibitem{wagner2006brief}
Ullrich Wagner, Manfred Hallschmid, Bj{\"o}rn Rasch, and Jan Born, \emph{Brief
  sleep after learning keeps emotional memories alive for years}, Biological
  psychiatry \textbf{60} (2006), no.~7, 788--790.

\bibitem{waisman2014brain}
Ilana Waisman, Mark Leikin, Shelley Shaul, and Roza Leikin, \emph{Brain
  activity associated with translation between graphical and symbolic
  representations of functions in generally gifted and excelling in mathematics
  adolescents}, International Journal of Science and Mathematics Education
  \textbf{12} (2014), no.~3, 669--696.

\bibitem{walker2003dissociable}
Matthew~P Walker, Tiffany Brakefield, J~Allan Hobson, and Robert Stickgold,
  \emph{Dissociable stages of human memory consolidation and reconsolidation},
  Nature \textbf{425} (2003), no.~6958, 616--620.

\bibitem{walker2014sleep}
Matthew~P Walker and Robert Stickgold, \emph{Sleep, memory and plasticity},
  Neuroscience and Psychoanalysis \textbf{1} (2014), 93.

\bibitem{wallace1965review}
William~P Wallace, \emph{Review of the historical, empirical, and theoretical
  status of the von restorff phenomenon.}, Psychological bulletin \textbf{63}
  (1965), no.~6, 410.

\bibitem{ward1994structured}
Thomas~B Ward, \emph{Structured imagination: The role of category structure in
  exemplar generation}, Cognitive psychology \textbf{27} (1994), no.~1, 1--40.

\bibitem{weber2004traditional}
Keith Weber, \emph{Traditional instruction in advanced mathematics courses: A
  case study of one professor's lectures and proofs in an introductory real
  analysis course}, The Journal of Mathematical Behavior \textbf{23} (2004),
  no.~2, 115--133.

\bibitem{whitehead1959aims}
Alfred~North Whitehead, \emph{The aims of education}, Daedalus \textbf{88}
  (1959), no.~1, 192--205.

\bibitem{wittgenstein1989wittgenstein}
Ludwig Wittgenstein, RG~Bosanquet, N~Malcolm, R~Hrees, Y~Symthies, and Cora
  Diamond, \emph{Wittgenstein's lectures on the foundations of mathematics,
  cambridge, 1939}, Cornell University Press, 1976.

\bibitem{wittmann2007anticipation}
Bianca~C Wittmann, Nico Bunzeck, Raymond~J Dolan, and Emrah D{\"u}zel,
  \emph{Anticipation of novelty recruits reward system and hippocampus while
  promoting recollection}, Neuroimage \textbf{38} (2007), no.~1, 194--202.

\bibitem{wittmann2011behavioral}
Bianca~C Wittmann, Raymond~J Dolan, and Emrah D{\"u}zel, \emph{Behavioral
  specifications of reward-associated long-term memory enhancement in humans},
  Learning \& Memory \textbf{18} (2011), no.~5, 296--300.

\bibitem{wittmann2005reward}
Bianca~C Wittmann, Bj{\"o}rn~H Schott, Sebastian Guderian, Julietta~U Frey,
  Hans-Jochen Heinze, and Emrah D{\"u}zel, \emph{Reward-related fmri activation
  of dopaminergic midbrain is associated with enhanced hippocampus-dependent
  long-term memory formation}, Neuron \textbf{45} (2005), no.~3, 459--467.

\bibitem{yates1990theories}
Timothy Yates, \emph{Theories of cognitive development}, Child and adolescent
  psychiatry. Baltimore (MD): Williams and Wilkins (1990), 109--29.

\bibitem{zacks2008neuroimaging}
Jeffrey~M Zacks, \emph{Neuroimaging studies of mental rotation: a meta-analysis
  and review}, Cognitive Neuroscience, Journal of \textbf{20} (2008), no.~1,
  1--19.

\bibitem{zamarian2009neuroscience}
L~Zamarian, A~Ischebeck, and M~Delazer, \emph{Neuroscience of learning
  arithmetic—evidence from brain imaging studies}, Neuroscience \&
  Biobehavioral Reviews \textbf{33} (2009), no.~6, 909--925.

\bibitem{zysset2003functional}
Stefan Zysset, Oswald Huber, Andrea Samson, Evelyn~C Ferstl, and D~Yves von
  Cramon, \emph{Functional specialization within the anterior medial prefrontal
  cortex: a functional magnetic resonance imaging study with human subjects},
  Neuroscience letters \textbf{335} (2003), no.~3, 183--186.

\end{thebibliography}