thesis4Through6.aux

\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {1}spacer}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}spacer}{2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}spacer}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{bloom1956taxonomy}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Phenomenographic Analysis}{4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.0.1}Application of Phenomenographic Analysis in this Study}{4}}
\citation{carnap1958introduction}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of What Students Think Proofs Are}{5}}
\citation{marton1976aqualitative}
\citation{ellenberg2014not}
\citation{alcock}
\citation{harel1998students}
\gdef \LT@i {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.1}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{10}}
\newlabel{exemplar}{{4.0.1}{10}}
\gdef \LT@ii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@iii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{11}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.2}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{11}}
\newlabel{exemplar}{{4.0.2}{11}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{11}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.3}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{11}}
\newlabel{exemplar}{{4.0.3}{11}}
\gdef \LT@iv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@v {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{12}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.4}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{12}}
\newlabel{exemplar}{{4.0.4}{12}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{12}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.5}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{12}}
\newlabel{exemplar}{{4.0.5}{12}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{12}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of How Students Attempt to Understand Proofs}{12}}
\citation{ellenberg2014not}
\gdef \LT@vi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.6}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{15}}
\newlabel{exemplar}{{4.0.6}{15}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{15}}
\gdef \LT@vii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@viii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@ix {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@x {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.7}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{16}}
\newlabel{exemplar}{{4.0.7}{16}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{16}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.8}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{16}}
\newlabel{exemplar}{{4.0.8}{16}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{16}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.9}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{16}}
\newlabel{exemplar}{{4.0.9}{16}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{16}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.10}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{16}}
\newlabel{exemplar}{{4.0.10}{16}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{16}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Reasons for Teaching Proof}{16}}
\gdef \LT@xi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.12}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{25}}
\newlabel{exemplar}{{4.0.12}{25}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{25}}
\gdef \LT@xiii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xiv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xvi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.13}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{26}}
\newlabel{exemplar}{{4.0.13}{26}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{26}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.14}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{26}}
\newlabel{exemplar}{{4.0.14}{26}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{26}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.15}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{26}}
\newlabel{exemplar}{{4.0.15}{26}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{26}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.16}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{26}}
\newlabel{exemplar}{{4.0.16}{26}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{26}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of How Students Attempt to Apply Proofs (When not assigned)}{26}}
\gdef \LT@xvii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xviii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.17}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{27}}
\newlabel{exemplar4}{{4.0.17}{27}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{27}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.18}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{27}}
\newlabel{exemplar}{{4.0.18}{27}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{27}}
\gdef \LT@xix {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xx {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.19}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{28}}
\newlabel{exemplar}{{4.0.19}{28}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{28}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.20}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{28}}
\newlabel{exemplar}{{4.0.20}{28}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{28}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.21}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{28}}
\newlabel{exemplar}{{4.0.21}{28}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{28}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Whether students exhibit consequences of inability (such as avoiding recursion)}{28}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.22}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{28}}
\newlabel{exemplar}{{4.0.22}{28}}
\gdef \LT@xxiii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxiv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxvi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{29}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.23}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{29}}
\newlabel{exemplar}{{4.0.23}{29}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{29}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.24}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{29}}
\newlabel{exemplar}{{4.0.24}{29}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{29}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.25}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{29}}
\newlabel{exemplar}{{4.0.25}{29}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{29}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.26}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{29}}
\newlabel{exemplar}{{4.0.26}{29}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{29}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of How familiar and/or comfortable are students with different (specific) proof techniques: induction, construction, contradiction?}{30}}
\gdef \LT@xxvii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxviii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxix {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxx {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxxi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.27}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{32}}
\newlabel{exemplar}{{4.0.27}{32}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{32}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.28}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{32}}
\newlabel{exemplar}{{4.0.28}{32}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{32}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.29}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{32}}
\newlabel{exemplar}{{4.0.29}{32}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{32}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.30}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{32}}
\newlabel{exemplar}{{4.0.30}{32}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{32}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.31}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{32}}
\newlabel{exemplar}{{4.0.31}{32}}
\gdef \LT@xxxii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{33}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Whether students notice structural elements in proofs}{33}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.32}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{33}}
\newlabel{exemplar}{{4.0.32}{33}}
\gdef \LT@xxxiii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxxiv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxxv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{34}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.33}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{34}}
\newlabel{exemplar}{{4.0.33}{34}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{34}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.34}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{34}}
\newlabel{exemplar}{{4.0.34}{34}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{34}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.35}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{34}}
\newlabel{exemplar}{{4.0.35}{34}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{34}}
\gdef \LT@xxxvi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.36}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{35}}
\newlabel{exemplar}{{4.0.36}{35}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{35}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of What do students think it takes to make an argument valid?}{35}}
\gdef \LT@xxxvii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxxviii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xxxix {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.37}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{36}}
\newlabel{exemplar}{{4.0.37}{36}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{36}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.38}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{36}}
\newlabel{exemplar}{{4.0.38}{36}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{36}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.39}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{36}}
\newlabel{exemplar}{{4.0.39}{36}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{36}}
\gdef \LT@xl {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xli {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.40}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{37}}
\newlabel{exemplar}{{4.0.40}{37}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{37}}
\@writefile{lot}{\contentsline {table}{\numberline {4.0.41}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{37}}
\newlabel{exemplar}{{4.0.41}{37}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{37}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Whether students incorporate structural elements in proofs}{37}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Combined Data}{38}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Does this go anywhere? Interview}{38}}
\gdef \LT@xlii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xliii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xliv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\gdef \LT@xlv {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.1}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{39}}
\newlabel{exemplar}{{4.1.1}{39}}
\@writefile{toc}{\contentsline {paragraph}{Codes}{39}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.2}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{39}}
\newlabel{exemplar}{{4.1.2}{39}}
\@writefile{toc}{\contentsline {paragraph}{Preliminary Categories}{39}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.3}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{39}}
\newlabel{exemplar}{{4.1.3}{39}}
\@writefile{toc}{\contentsline {paragraph}{Main theme and its relationships to minor themes}{39}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.4}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{39}}
\newlabel{exemplar}{{4.1.4}{39}}
\@writefile{toc}{\contentsline {paragraph}{Categories and Relationships}{39}}
\gdef \LT@xlvi {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.5}{\ignorespaces Phenomenographic Analysis of What Students Think Proofs Are}}{40}}
\newlabel{exemplar}{{4.1.5}{40}}
\@writefile{toc}{\contentsline {paragraph}{Dimension of Variation and Critical Factors}{40}}
\@writefile{toc}{\contentsline {subsubsection}{Combined Themes / Categories}{40}}
\@writefile{toc}{\contentsline {subsubsection}{Combined Relationships}{42}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Analysis of Homework and Tests}{42}}
\@writefile{toc}{\contentsline {subsubsection}{Proofs}{42}}
\@writefile{toc}{\contentsline {subsubsection}{Pumping Lemmas}{42}}
\citation{sipser2012introduction}
\citation{marton1997learning}
\citation{booth2001learning}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Results}{44}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Criteria for Results}{44}}
\citation{marton1997learning}
\@writefile{lot}{\contentsline {table}{\numberline {5.1.1}{\ignorespaces Outcome space for what is proof, with temporal facet\relax }}{45}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{table:catsQ1}{{\caption@xref {table:catsQ1}{ on input line 49}}{46}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2.1}{\ignorespaces Categories of Description for: what a proof is\relax }}{46}}
\newlabel{dim1Q1}{{\caption@xref {dim1Q1}{ on input line 61}}{46}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2.2}{\ignorespaces Dimension of Variation for Component Inclusion for: what a proof is\relax }}{46}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}What do students think a proof is?}{46}}
\newlabel{dim2Q1}{{\caption@xref {dim2Q1}{ on input line 75}}{46}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: what a proof is\relax }}{46}}
\newlabel{cf1Q1}{{\caption@xref {cf1Q1}{ on input line 89}}{47}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2.4}{\ignorespaces Critical Factors for Component Inclusion for: what a proof is\relax }}{47}}
\newlabel{cf2Q1}{{\caption@xref {cf2Q1}{ on input line 102}}{47}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2.5}{\ignorespaces Critical Factors for Depth of Understanding for: what a proof is\relax }}{47}}
\citation{harel1998students}
\@writefile{lof}{\contentsline {figure}{\numberline {5.2.1}{\ignorespaces Conceptualizations found for what a proof is\relax }}{49}}
\newlabel{fig:whatThemes1}{{5.2.1}{49}}
\newlabel{catsQ2}{{\caption@xref {catsQ2}{ on input line 158}}{49}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3.1}{\ignorespaces Categories of Description for: How do students approach understanding\relax }}{49}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}How do students approach understanding a proof?}{49}}
\newlabel{dim1Q2}{{\caption@xref {dim1Q2}{ on input line 170}}{50}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3.2}{\ignorespaces Dimension of Variation for Component Inclusion for: How do students approach understanding\relax }}{50}}
\newlabel{dim2Q2}{{\caption@xref {dim2Q2}{ on input line 182}}{50}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: How do students approach understanding\relax }}{50}}
\newlabel{cf1Q2}{{\caption@xref {cf1Q2}{ on input line 194}}{50}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3.4}{\ignorespaces Critical Factors for Component Inclusion for: How do students approach understanding\relax }}{50}}
\newlabel{cf2Q2}{{\caption@xref {cf2Q2}{ on input line 206}}{50}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3.5}{\ignorespaces Critical Factors for Depth of Understanding for: How do students approach understanding\relax }}{50}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.3.1}{\ignorespaces Student Conceptualizations of How to Comprehend a Proof\relax }}{51}}
\newlabel{fig:howThemes2}{{5.3.1}{51}}
\newlabel{catsQ3}{{\caption@xref {catsQ3}{ on input line 233}}{52}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4.1}{\ignorespaces Categories of Description for: What a proof is for\relax }}{52}}
\newlabel{dim1Q3}{{\caption@xref {dim1Q3}{ on input line 248}}{52}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4.2}{\ignorespaces Dimension of Variation for Component Inclusion for: what a proof is for\relax }}{52}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}What do students think a proof is for?}{52}}
\newlabel{dim2Q3}{{\caption@xref {dim2Q3}{ on input line 261}}{52}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: what a proof is for \relax }}{52}}
\newlabel{cf1Q3}{{\caption@xref {cf1Q3}{ on input line 275}}{53}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4.4}{\ignorespaces Critical Factors for Component Inclusion for: what a proof is for \relax }}{53}}
\newlabel{cf2Q3}{{\caption@xref {cf2Q3}{ on input line 291}}{53}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4.5}{\ignorespaces Critical Factors for Depth of Understanding for: what a proof is for\relax }}{53}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.4.1}{\ignorespaces Conceptualizations about why to study proofs\relax }}{55}}
\newlabel{fig:whyThemes3}{{5.4.1}{55}}
\newlabel{catsQ4}{{\caption@xref {catsQ4}{ on input line 329}}{55}}
\@writefile{lot}{\contentsline {table}{\numberline {5.5.1}{\ignorespaces Categories of Description for: do students use proof for, when not assigned?\relax }}{55}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}What do students use proof for, when not assigned?}{55}}
\newlabel{dim1Q4}{{\caption@xref {dim1Q4}{ on input line 341}}{55}}
\@writefile{lot}{\contentsline {table}{\numberline {5.5.2}{\ignorespaces Dimension of Variation for Component Inclusion for: do students use proof for, when not assigned?\relax }}{55}}
\newlabel{dim2Q4}{{\caption@xref {dim2Q4}{ on input line 353}}{56}}
\@writefile{lot}{\contentsline {table}{\numberline {5.5.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: do students use proof for, when not assigned?\relax }}{56}}
\newlabel{cf1Q4}{{\caption@xref {cf1Q4}{ on input line 365}}{56}}
\@writefile{lot}{\contentsline {table}{\numberline {5.5.4}{\ignorespaces Critical Factors for Component Inclusion for: do students use proof for, when not assigned?\relax }}{56}}
\newlabel{cf2Q4}{{\caption@xref {cf2Q4}{ on input line 377}}{56}}
\@writefile{lot}{\contentsline {table}{\numberline {5.5.5}{\ignorespaces Critical Factors for Depth of Understanding for: do students use proof for, when not assigned?\relax }}{56}}
\newlabel{catsQ5}{{\caption@xref {catsQ5}{ on input line 395}}{57}}
\@writefile{lot}{\contentsline {table}{\numberline {5.6.1}{\ignorespaces Categories of Description for: Do students exhibit any consequence of inability in proof?\relax }}{57}}
\newlabel{dim1Q5}{{\caption@xref {dim1Q5}{ on input line 407}}{57}}
\@writefile{lot}{\contentsline {table}{\numberline {5.6.2}{\ignorespaces Dimension of Variation for Component Inclusion for: Do students exhibit any consequence of inability in proof?\relax }}{57}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Do students exhibit any consequence of inability in proof?}{57}}
\newlabel{dim2Q5}{{\caption@xref {dim2Q5}{ on input line 419}}{57}}
\@writefile{lot}{\contentsline {table}{\numberline {5.6.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: Do students exhibit any consequence of inability in proof?\relax }}{57}}
\newlabel{cf1Q5}{{\caption@xref {cf1Q5}{ on input line 431}}{58}}
\@writefile{lot}{\contentsline {table}{\numberline {5.6.4}{\ignorespaces Critical Factors for Component Inclusion for: Do students exhibit any consequence of inability in proof?\relax }}{58}}
\newlabel{cf2Q5}{{\caption@xref {cf2Q5}{ on input line 443}}{58}}
\@writefile{lot}{\contentsline {table}{\numberline {5.6.5}{\ignorespaces Critical Factors for Depth of Understanding for: Do students exhibit any consequence of inability in proof?\relax }}{58}}
\newlabel{catsQ6}{{\caption@xref {catsQ6}{ on input line 459}}{59}}
\@writefile{lot}{\contentsline {table}{\numberline {5.7.1}{\ignorespaces Categories of Description for: What kind of structure do students notice in proofs?\relax }}{59}}
\newlabel{dim1Q6}{{\caption@xref {dim1Q6}{ on input line 471}}{59}}
\@writefile{lot}{\contentsline {table}{\numberline {5.7.2}{\ignorespaces Dimension of Variation for Component Inclusion for: What kind of structure do students notice in proofs?\relax }}{59}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}What kind of structure do students notice in proofs?}{59}}
\newlabel{dim2Q6}{{\caption@xref {dim2Q6}{ on input line 483}}{59}}
\@writefile{lot}{\contentsline {table}{\numberline {5.7.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: What kind of structure do students notice in proofs?\relax }}{59}}
\newlabel{cf1Q6}{{\caption@xref {cf1Q6}{ on input line 495}}{60}}
\@writefile{lot}{\contentsline {table}{\numberline {5.7.4}{\ignorespaces Critical Factors for Component Inclusion for: What kind of structure do students notice in proofs?\relax }}{60}}
\newlabel{cf2Q6}{{\caption@xref {cf2Q6}{ on input line 507}}{60}}
\@writefile{lot}{\contentsline {table}{\numberline {5.7.5}{\ignorespaces Critical Factors for Depth of Understanding for: What kind of structure do students notice in proofs?\relax }}{60}}
\newlabel{catsQ7}{{\caption@xref {catsQ7}{ on input line 527}}{61}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.1}{\ignorespaces Categories of Description for: What do students think it takes to make an argument valid?\relax }}{61}}
\newlabel{dim1Q7}{{\caption@xref {dim1Q7}{ on input line 539}}{61}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.2}{\ignorespaces Dimension of Variation for Component Inclusion for: What do students think it takes to make an argument valid?\relax }}{61}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}What do students think it takes to make an argument valid?}{61}}
\newlabel{dim2Q7}{{\caption@xref {dim2Q7}{ on input line 551}}{61}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.3}{\ignorespaces Dimension of Variation for Depth of Understanding for: What do students think it takes to make an argument valid?\relax }}{61}}
\newlabel{cf1Q7}{{\caption@xref {cf1Q7}{ on input line 563}}{62}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.4}{\ignorespaces Critical Factors for Component Inclusion for: What do students think it takes to make an argument valid?\relax }}{62}}
\newlabel{cf2Q7}{{\caption@xref {cf2Q7}{ on input line 575}}{62}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.5}{\ignorespaces Critical Factors for Depth of Understanding for: What do students think it takes to make an argument valid?\relax }}{62}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.8.1}{\ignorespaces Conceptualizations about validity of proofs\relax }}{62}}
\newlabel{fig:validityThemes1}{{5.8.1}{62}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.6}{\ignorespaces Critical factors for what a (valid) proof is\relax }}{63}}
\@writefile{toc}{\contentsline {paragraph}{Definition based reasoning}{63}}
\@writefile{toc}{\contentsline {paragraph}{Generalization and transformation based reasoning}{63}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {section}{\numberline {5.9}Combined Description}{64}}
\@writefile{toc}{\contentsline {section}{\numberline {5.10}Diagram of Conceptualizations}{65}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.10.1}{\ignorespaces Themes from interview data\relax }}{65}}
\newlabel{fig:themes}{{5.10.1}{65}}
\@writefile{toc}{\contentsline {section}{\numberline {5.11}Outcome Space}{66}}
\citation{smith2013categorizing}
\citation{almstrum1996investigating}
\citation{cohen1982modified}
\@writefile{toc}{\contentsline {section}{\numberline {5.12}Critical Factors}{67}}
\@writefile{toc}{\contentsline {section}{\numberline {5.13}Earlier Paper Material}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.1}Categories of Experience of Entering Students}{67}}
\citation{jacobs2008developing}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.2}Representation/Symbolization in Pumping Lemmas}{68}}
\citation{tall2008transition}
\citation{weber2004traditional}
\citation{tall2001symbols}
\citation{harel1998students}
\citation{rosken2007integrating}
\citation{sipser2012introduction}
\citation{booth1997phenomenography}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.3}Abstract Model for Proof by Mathematical Induction and Recursion}{69}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.4}Proofs by Induction}{71}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.5}Pumping Lemmas}{71}}
\citation{marton and pang?}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Interpretation/Discussion}{72}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Interpretation}{73}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of What Students Think Proofs Are}{73}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of How Students Attempt to Understand Proofs}{73}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of Reasons for Teaching Proof}{74}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of How Students Attempt to Apply Proofs (When not assigned)}{75}}
\citation{carnap1958introduction}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of Whether students exhibit consequences of inability (such as avoiding recursion)}{76}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of How familiar and/or comfortable are students with different (specific) proof techniques: induction, construction, contradiction?}{76}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of Whether students notice structural elements in proofs}{76}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of What do students think it takes to make an argument valid?}{76}}
\@writefile{toc}{\contentsline {subsubsection}{Interpretation of Whether students incorporate structural elements in proofs}{76}}
\citation{smith2013categorizing}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Productive and Counterproductive Beliefs}{77}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Productive and Counterproductive Momentum}{77}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}Published papers}{77}}
\citation{smith2013mathematization}
\citation{smith2014computer}
\citation{smith2013categorizing}
\citation{almstrum1996investigating}
\citation{cohen1982modified}
\citation{jacobs2008developing}
\citation{harel1998students}
\@writefile{toc}{\contentsline {paragraph}{Categories of Experience of Entering Students}{78}}
\@writefile{toc}{\contentsline {paragraph}{Representation/Symbolization in Pumping Lemmas}{78}}
\citation{harel1998students}
\citation{jacobs2008developing}
\citation{tall2008transition}
\citation{weber2004traditional}
\citation{tall2001symbols}
\citation{harel1998students}
\citation{rosken2007integrating}
\citation{sipser2012introduction}
\@writefile{toc}{\contentsline {paragraph}{Abstract Model for Proof by Mathematical Induction and Recursion}{81}}
\citation{booth1997phenomenography}
\@writefile{lof}{\contentsline {figure}{\numberline {6.1.1}{\ignorespaces Categories of Student Conceptualizations of Proof by Induction that Recursion Works\relax }}{83}}
\@writefile{lot}{\contentsline {table}{\numberline {6.1.1}{\ignorespaces The Outcome Space for Proofs by Induction\relax }}{83}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Helping Students Discern Abstraction}{84}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.5}Algebra}{85}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.6}Geometry}{86}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.7}Seeing a Broader Context}{86}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.8}Mathematics tests in high school that involve proving}{87}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Discussion}{87}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}Importance}{88}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Interpretation of Results}{88}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}More Discussion}{89}}
\@writefile{toc}{\contentsline {paragraph}{Helping Students Discern Abstraction}{89}}
\@writefile{toc}{\contentsline {paragraph}{Helping Students Discern Abstraction}{90}}
\@writefile{toc}{\contentsline {paragraph}{Algebra}{91}}
\@writefile{toc}{\contentsline {paragraph}{Geometry}{91}}
\@writefile{toc}{\contentsline {paragraph}{Seeing a Broader Context}{91}}
\@writefile{toc}{\contentsline {paragraph}{Mathematics tests in high school that involve proving}{92}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Previously Published Work}{92}}
\citation{reilly2014examination}
\citation{cohen1982modified}
\citation{almstrum1996investigating}
\citation{smith2013categorizing}
\citation{almstrum1996investigating}
\citation{cohen1982modified}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}Categories of Experience of Entering Students}{93}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}Categories of Experience of Entering Students}{93}}
\citation{harel1998students}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.3}Representation/Symbolization in Pumping Lemmas}{94}}
\citation{jacobs2008developing}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.4}Representation/Symbolization in Pumping Lemmas}{96}}
\citation{tall2008transition}
\citation{weber2004traditional}
\citation{tall2001symbols}
\citation{harel1998students}
\citation{rosken2007integrating}
\citation{sipser2012introduction}
\citation{booth1997phenomenography}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.5}Abstract Model for Proof by Mathematical Induction and Recursion}{97}}
\citation{sipser2012introduction}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.6}Proofs by Induction}{99}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.7}Abstract Model for Proof by Mathematical Induction and Recursion}{99}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.8}Pumping Lemmas}{101}}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Results of Combined Investigations}{101}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}Categories}{101}}
\gdef \LT@xlvii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Critical Factors}{102}}
\gdef \LT@xlviii {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.1}Abstraction}{105}}
\citation{gries2012science}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.2}Definitions}{107}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.3}Symbolization}{107}}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.6.4}Structure}{108}}
\citation{marton1997learning}
\@writefile{lot}{\contentsline {table}{\numberline {6.6.3}{\ignorespaces Outcome space for what is proof, with temporal facet\relax }}{109}}
\@writefile{toc}{\contentsline {section}{\numberline {6.7}What do students think a proof is?}{109}}
\citation{harel1998students}
\@writefile{lof}{\contentsline {figure}{\numberline {6.7.1}{\ignorespaces Conceptualizations found for what a proof is\relax }}{112}}
\newlabel{fig:whatThemes}{{6.7.1}{112}}
\@writefile{lot}{\contentsline {table}{\numberline {6.7.1}{\ignorespaces Critical factors for what a proof is\relax }}{112}}
\@writefile{toc}{\contentsline {section}{\numberline {6.8}How do students approach understanding a proof?}{112}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.8.1}{\ignorespaces Conceptualizations of how to comprehend a proof\relax }}{113}}
\newlabel{fig:howThemes}{{6.8.1}{113}}
\@writefile{lot}{\contentsline {table}{\numberline {6.8.1}{\ignorespaces Critical factors for what a proof is\relax }}{113}}
\@writefile{toc}{\contentsline {section}{\numberline {6.9}What do students think a proof is for?}{113}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.9.1}{\ignorespaces Conceptualizations about why to study proofs\relax }}{115}}
\newlabel{fig:whyThemes}{{6.9.1}{115}}
\@writefile{lot}{\contentsline {table}{\numberline {6.9.1}{\ignorespaces Critical factors for what a proof is\relax }}{115}}
\@writefile{toc}{\contentsline {section}{\numberline {6.10}What do students use proof for, when not assigned?}{115}}
\@writefile{toc}{\contentsline {section}{\numberline {6.11}Do students exhibit any consequence of inability in proof?}{116}}
\@writefile{toc}{\contentsline {section}{\numberline {6.12}What kind of structure do students notice in proofs?}{117}}
\@writefile{lot}{\contentsline {table}{\numberline {6.13.1}{\ignorespaces Critical factors for what a (valid) proof is\relax }}{118}}
\@writefile{toc}{\contentsline {section}{\numberline {6.13}What do students think it takes to make an argument valid?}{118}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.13.1}{\ignorespaces Conceptualizations about validity of proofs\relax }}{118}}
\newlabel{fig:validityThemes}{{6.13.1}{118}}
\citation{harel}
\citation{polya}
\@writefile{toc}{\contentsline {paragraph}{Definition based reasoning}{119}}
\@writefile{toc}{\contentsline {paragraph}{Generalization and transformation based reasoning}{119}}
\citation{marcell2008effectiveness}
\@writefile{toc}{\contentsline {section}{\numberline {6.14}Combined Description}{120}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.14.1}Generalization meets preference for examples over definitions}{120}}
\citation{schoenfeld1998reflections}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.14.2}Recognize problem solutions, comprehend problem solutions, create problem solutions}{122}}
\@writefile{toc}{\contentsline {section}{\numberline {6.15}Diagram of Conceptualizations}{124}}
\@writefile{lof}{\contentsline {figure}{\numberline {6.15.1}{\ignorespaces Themes from interview data\relax }}{124}}
\newlabel{fig:themes}{{6.15.1}{124}}
\@writefile{toc}{\contentsline {section}{\numberline {6.16}Outcome Space}{125}}
\@writefile{toc}{\contentsline {section}{\numberline {6.17}Critical Factors}{126}}
\@writefile{toc}{\contentsline {section}{\numberline {6.18}More Discussion}{126}}
\@writefile{toc}{\contentsline {paragraph}{Helping Students Discern Abstraction}{126}}
\@writefile{toc}{\contentsline {paragraph}{Helping Students Discern Abstraction}{128}}
\@writefile{toc}{\contentsline {paragraph}{Algebra}{128}}
\@writefile{toc}{\contentsline {paragraph}{Geometry}{128}}
\@writefile{toc}{\contentsline {paragraph}{Seeing a Broader Context}{129}}
\@writefile{toc}{\contentsline {paragraph}{Mathematics tests in high school that involve proving}{130}}
\bibdata{literature,literatureClickersTheory,literatureFIE,literatureproof,literatureQualRes,literatureQualRes2,literatureQualRes3,literatureQualRes4,literatureQualRes5,literatureQualRes6,litMathPhenom,litSEEval,litSEQual,litVertical2}
\bibcite{almstrum1996investigating}{1}
\bibcite{bloom1956taxonomy}{2}
\bibcite{booth1997phenomenography}{3}
\bibcite{booth2001learning}{4}
\bibcite{carnap1958introduction}{5}
\bibcite{cohen1982modified}{6}
\bibcite{ellenberg2014not}{7}
\bibcite{gries2012science}{8}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{131}}
\bibcite{harel1998students}{9}
\bibcite{jacobs2008developing}{10}
\bibcite{marcell2008effectiveness}{11}
\bibcite{marton1997learning}{12}
\bibcite{marton1976aqualitative}{13}
\bibcite{reilly2014examination}{14}
\bibcite{rosken2007integrating}{15}
\bibcite{schoenfeld1998reflections}{16}
\bibcite{sipser2012introduction}{17}
\bibcite{smith2013categorizing}{18}
\bibcite{smith2014computer}{19}
\bibcite{smith2013mathematization}{20}
\bibcite{tall2008transition}{21}
\bibcite{tall2001symbols}{22}
\bibcite{weber2004traditional}{23}
\bibstyle{amsplain}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.1}{\ignorespaces Equation (1)\relax }}{134}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.2}{\ignorespaces Equation (2)\relax }}{134}}
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces  \relax }}{134}}
\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces  \relax }}{134}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.3}{\ignorespaces \relax }}{136}}
\newlabel{fig:pic2}{{.0.3}{136}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.4}{\ignorespaces \relax }}{136}}
\newlabel{fig:pic4}{{.0.4}{136}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.5}{\ignorespaces First\relax }}{137}}
\newlabel{fig:pic9}{{.0.5}{137}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.6}{\ignorespaces Second\relax }}{137}}
\newlabel{fig:pic10}{{.0.6}{137}}
\@writefile{loa}{\contentsline {algocf}{\numberline {3}{\ignorespaces  \relax }}{137}}
\@writefile{loa}{\contentsline {algocf}{\numberline {4}{\ignorespaces  \relax }}{137}}
\@writefile{loa}{\contentsline {algocf}{\numberline {5}{\ignorespaces  \relax }}{141}}
\@writefile{lof}{\contentsline {figure}{\numberline {.0.7}{\ignorespaces \relax }}{142}}
\newlabel{fig:pic1}{{.0.7}{142}}
\newlabel{fig:p93}{{\caption@xref {fig:p93}{ on input line 286}}{144}}