thesis2.aux

\relax 
\citation{marton1997learning}
\citation{marton1981phenomenography}
\citation{svensson1997theoretical}
\citation{marton1997learning}
\citation{marton2005unit}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{harel1998students}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Research Questions}{3}}
\citation{black1998inside}
\citation{merriam2009qualitative}
\citation{svensson1997theoretical}
\citation{svensson1997theoretical}
\citation{svensson1997theoretical}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Qualitative Research}{5}}
\citation{svensson1997theoretical}
\citation{marton2006some}
\citation{svensson1997theoretical}
\citation{svensson1997theoretical}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Phenomenography with Variation Theory}{6}}
\citation{booth2001learning}
\citation{marton1976qualitative}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{saljo1979learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{kaput1998research}
\citation{dorfler2000means}
\@writefile{lot}{\contentsline {table}{\numberline {1.3.1}{\ignorespaces Distinct Ways of Experiencing Learning, from Marton and Booth\nobreakspace  {}\cite  {marton1997learning}.\relax }}{8}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{WaysLearning}{{1.3.1}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3.1}Conceptualizations}{8}}
\citation{wittgenstein1989wittgenstein}
\citation{marton1997learning}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3.2}Relevance Structure}{9}}
\citation{booth2001learning}
\citation{booth2001learning}
\citation{booth2001learning}
\citation{thota2014programming}
\citation{thota2014programming}
\citation{bowden2004university}
\citation{thota2014programming}
\citation{thota2014programming}
\citation{thota2014programming}
\citation{whitehead1959aims}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Phenomenography / Variation Theory for these Research Questions}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {1.5}Overview}{12}}
\citation{ernest1994constructing}
\citation{von1987learning}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Research Perspective and Epistemological Framework}{13}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{vygotsky1978mind}
\citation{vygotsky1978mind}
\citation{ben1998constructivism}
\citation{marton1997learning}
\citation{svensson1997theoretical}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Phenomenography and Variation Theory}{16}}
\citation{marton2006some}
\citation{dahlin2007enriching}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}Variation Theory}{17}}
\citation{marton1997learning}
\citation{marton2013meanings}
\citation{marton2006some}
\citation{marton2006some}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}Application to Proof in Computer Science}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}An example of applying variation theory}{20}}
\citation{marton1997learning}
\citation{valiant2000circuits}
\citation{fried2014single}
\citation{valiant2000circuits}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.4}Variation Theory and Conjunctions}{21}}
\citation{van2011slow}
\citation{brooks1999search}
\citation{ernest1994constructivism}
\citation{von2013radical}
\citation{vygotsky1978mind}
\citation{lerman2012articulating}
\citation{ben1998constructivism}
\citation{piaget1952origins}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Constructivism}{22}}
\citation{mcgowen2010metaphor}
\citation{thompson1994students}
\citation{wenger1999communities}
\citation{brooks1999search}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}Piagetian Constructivism}{23}}
\citation{brooks1999search}
\citation{ben1998constructivism}
\citation{bausell1972factorial}
\citation{marton1997learning}
\citation{wenger1999communities}
\citation{ernest1994constructing}
\citation{ernest1994constructing}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}Social Constructivism}{25}}
\citation{vygotsky1978mind}
\citation{vygotsky1978mind}
\citation{vygotsky1978mind}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{loewenberg2003mathematical}
\citation{loewenberg2003mathematical}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Mathematics Education}{28}}
\citation{loewenberg2003mathematical}
\citation{rota1997phenomenology}
\citation{kaput1998research}
\citation{merriam2009qualitative}
\citation{bloom1956taxonomy}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Methodology}{31}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Design of the Study}{32}}
\citation{bloom1956taxonomy}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Parts of the Study}{33}}
\citation{marton1997learning}
\citation{glaser1968discovery}
\@writefile{lot}{\contentsline {table}{\numberline {3.2.1}{\ignorespaces Parts of the Study\relax }}{34}}
\newlabel{parts}{{3.2.1}{34}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Population Studied}{34}}
\newlabel{pop}{{3.3}{34}}
\newlabel{demog}{{3.3}{35}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Proofs by Mathematic Induction}{36}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Purpose of Proof}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Proofs Using the Pumping Lemma for Regular Languages}{37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}Student Use of Proof for Applicability of Algorithms}{38}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Data Collection}{38}}
\newlabel{divsrcs}{{3.4}{38}}
\newlabel{satur}{{3.4}{38}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}Interviews}{38}}
\@writefile{toc}{\contentsline {subsubsection}{Student Conceptions of What Proof Is}{39}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}Documents}{40}}
\@writefile{toc}{\contentsline {subsubsection}{Proofs Using the Pumping Lemma for Regular Languages}{40}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}Observations from Tutoring and Help Sessions}{40}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.4}Other Sources}{40}}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Method of Analysis}{41}}
\gdef \LT@i {\LT@entry 
    {5}{211.16928pt}\LT@entry 
    {5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {3.5.1}{\ignorespaces Phenomenographic Analysis of Reasons for Teaching Proof}}{42}}
\newlabel{exemplar1}{{3.5.1}{42}}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{smedslund1970circular}
\citation{marton1997learning}
\citation{Merriam2002}
\citation{Merriam2009}
\citation{braun2006using}
\citation{fereday2008demonstrating}
\citation{boyatzis1998transforming}
\citation{merriam2009qualitative}
\newlabel{constcom}{{3.5}{46}}
\newlabel{memo}{{3.5}{46}}
\citation{strauss1990basics}
\citation{kendall1999axial}
\citation{glaser2008conceptualization}
\citation{sillitoapp}
\citation{merriam2009qualitative}
\citation{richards2014handling}
\newlabel{mchk}{{3.5}{48}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}Analysis of Interviews}{48}}
\citation{merriam2009qualitative}
\citation{marton1997learning}
\citation{marton1997learning}
\newlabel{xchk}{{3.5.1}{49}}
\citation{Merriam2002}
\citation{Merriam2009}
\citation{braun2006using}
\citation{fereday2008demonstrating}
\citation{boyatzis1998transforming}
\@writefile{toc}{\contentsline {subsubsection}{Traditional Phenomenographic Analysis}{50}}
\@writefile{toc}{\contentsline {subsubsection}{Modified Thematic Analysis}{50}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}Analysis of Help Session and Tutoring}{51}}
\citation{harel1998students}
\citation{tall2012cognitive}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Example: Application of Phenomenographic Analysis to What Students Think Proof is For}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Method of Creating Summary Report (for Member Checking)}{54}}
\newlabel{conjectures}{{3.6}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}Method of Addressing Validation}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {3.8}Method of Presentation of Results}{54}}
\citation{marton1997learning}
\citation{bloom1956taxonomy}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Phenomenographic Analysis}{56}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lof}{\contentsline {figure}{\numberline {4.1.1}{\ignorespaces Outcome space from What Proof Is\relax }}{57}}
\newlabel{fig:WhatProof}{{4.1.1}{57}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Phenomenographic Analysis of What Students Think Proof Is}{57}}
\newlabel{aWhatIs}{{4.1}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Categories}{57}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.1}{\ignorespaces Categories for Student Conceptualizations of What Proof Is\relax }}{58}}
\newlabel{proofR}{{4.1.1}{58}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Illustrative Quotations for Categories}{58}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Relations}{58}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.2}{\ignorespaces Illustrative Quotations for Student Conceptualizations of What Proof Is\relax }}{59}}
\newlabel{dataWhat}{{4.1.2}{59}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Critical Factors}{60}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.3}{\ignorespaces Relationships for Student Conceptualizations of What Proof Is\relax }}{61}}
\newlabel{proofRrelation}{{4.1.3}{61}}
\@writefile{lot}{\contentsline {table}{\numberline {4.1.4}{\ignorespaces Critical Factors for What Proof Is\relax }}{62}}
\newlabel{tab:critWhatIs}{{4.1.4}{62}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.5}Dimensions of Variation}{62}}
\citation{carnap1958introduction}
\citation{marton1997learning}
\citation{ellenberg2014not}
\citation{alcock2005proof}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.6}Validation}{67}}
\@writefile{lot}{\contentsline {table}{\numberline {4.2.1}{\ignorespaces Categories for Student Conceptualizations of How to Understand Proofs\relax }}{68}}
\newlabel{under}{{4.2.1}{68}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Phenomenographic Analysis of How Students Attempt to Understand Proofs}{68}}
\newlabel{aHowU}{{4.2}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.1}Categories}{68}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.2.1}{\ignorespaces Outcome space from How Students Approach Comprehending Proof\relax }}{69}}
\newlabel{fig:HowApproach}{{4.2.1}{69}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.2}Illustrative Quotations for Categories}{69}}
\citation{aspinall2000proof}
\citation{ellenberg2014not}
\@writefile{lot}{\contentsline {table}{\numberline {4.2.2}{\ignorespaces Illustrative Quotations for How Students Approach Comprehending Proof}}{72}}
\newlabel{dataHow}{{4.2.2}{72}}
\gdef \LT@ii {\LT@entry 
    {5}{74.59596pt}\LT@entry 
    {5}{324.9803pt}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.3}Relations}{78}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.4}Critical Factors}{78}}
\@writefile{lot}{\contentsline {table}{\numberline {4.2.3}{\ignorespaces Relationships for Student Conceptualizations of How to Understand Proofs\relax }}{79}}
\newlabel{HowRelations}{{4.2.3}{79}}
\@writefile{lot}{\contentsline {table}{\numberline {4.2.4}{\ignorespaces Critical Factors for How Do Students Approach Comprehending Proof?\relax }}{79}}
\newlabel{tab:critApproach}{{4.2.4}{79}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.5}Dimensions of Variation}{79}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2.6}Validation}{80}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3.1}{\ignorespaces Initial Categories from What do students think a proof is for\relax }}{81}}
\newlabel{fig:ForWhy1}{{4.3.1}{81}}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Phenomenographic Analysis of What Students Think Proof is For}{81}}
\newlabel{aWhat4}{{4.3}{81}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}Categories}{81}}
\@writefile{lot}{\contentsline {table}{\numberline {4.3.1}{\ignorespaces Categories for Student Conceptualizations of Reasons for Teaching Proof\relax }}{82}}
\newlabel{Reasons}{{4.3.1}{82}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.3.2}{\ignorespaces Outcome space from What do students think a proof is for\relax }}{83}}
\newlabel{fig:ForWhy2}{{4.3.2}{83}}
\@writefile{lot}{\contentsline {table}{\numberline {4.3.2}{\ignorespaces Grouped Categories for Student Conceptualizations of Reasons for Teaching Proof\relax }}{83}}
\newlabel{aSCat4}{{4.3.2}{83}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.2}Illustrative Quotations for Categories}{84}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.3}Relations}{85}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.4}Critical Factors}{85}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.5}Dimensions of Variation}{85}}
\@writefile{lot}{\contentsline {table}{\numberline {4.3.3}{\ignorespaces Illustrative Quotations for What Students Think Proof is For\relax }}{86}}
\newlabel{dataReasons}{{4.3.3}{86}}
\@writefile{lot}{\contentsline {table}{\numberline {4.3.4}{\ignorespaces Relationships for Student Conceptualizations of Reasons for Teaching Proof\relax }}{87}}
\newlabel{aSCat4R}{{4.3.4}{87}}
\@writefile{lot}{\contentsline {table}{\numberline {4.3.5}{\ignorespaces Critical Factors for What do Students Think Proof is For?\relax }}{87}}
\newlabel{tab:forWhat}{{4.3.5}{87}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.6}Validation}{87}}
\@writefile{lot}{\contentsline {table}{\numberline {4.4.1}{\ignorespaces Categories for How Students Attempt to Apply Proofs (When Assigned)\relax }}{88}}
\newlabel{aCatAssign}{{4.4.1}{88}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Phenomenographic Analysis of How Students Attempt to Apply Proofs (When Assigned)}{88}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.1}Categories}{88}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.2}Illustrative Quotations for Categories}{88}}
\@writefile{lot}{\contentsline {table}{\numberline {4.4.2}{\ignorespaces Illustrative Quotations for How Students Attempt to Apply Proofs (When Assigned)\relax }}{89}}
\newlabel{dataAssigned}{{4.4.2}{89}}
\@writefile{lot}{\contentsline {table}{\numberline {4.4.3}{\ignorespaces Relations for How Students Attempt to Apply Proofs (When Assigned)\relax }}{89}}
\newlabel{aCatAssignR}{{4.4.3}{89}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.3}Relations}{89}}
\@writefile{lot}{\contentsline {table}{\numberline {4.4.4}{\ignorespaces Critical Factors for How Students Attempt to Apply Proofs (When Assigned)\relax }}{90}}
\newlabel{aCatAssigncrit}{{4.4.4}{90}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.4}Critical Factors}{90}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.5}Dimensions of Variation}{90}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4.6}Validation}{90}}
\@writefile{lot}{\contentsline {table}{\numberline {4.5.1}{\ignorespaces Illustrative Quotations for How Students Attempt to Apply Proofs (When Not Assigned)\relax }}{91}}
\newlabel{dataNotAssigned}{{4.5.1}{91}}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Phenomenographic Analysis of How Students Attempt to Apply Proofs (When Not Assigned)}{91}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.1}Categories}{91}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5.2}Illustrative Quotations for Categories}{91}}
\@writefile{toc}{\contentsline {section}{\numberline {4.6}Phenomenographic Analysis of Whether Students Exhibit Consequences of Inability With Proof (such as avoiding recursion)}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6.1}Categories}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6.2}Illustrative Quotations for Categories}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6.3}Relations}{92}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6.4}Critical Factors}{92}}
\@writefile{lot}{\contentsline {table}{\numberline {4.6.1}{\ignorespaces Illustrative Quotations for Whether Students Exhibit Consequences of Inability With Proof (such as avoiding recursion)\relax }}{93}}
\newlabel{dataConsequences}{{4.6.1}{93}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6.5}Dimensions of Variation}{93}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6.6}Validation}{93}}
\@writefile{toc}{\contentsline {section}{\numberline {4.7}Phenomenographic Analysis of Student Familiarity with Specific Proof Techniques }{94}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7.1}Categories}{94}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7.2}Illustrative Quotations for Categories}{94}}
\@writefile{lot}{\contentsline {table}{\numberline {4.7.1}{\ignorespaces Illustrative Quotations for Student Familiarity with Specific Proof Techniques\relax }}{95}}
\newlabel{dataFamiliarity}{{4.7.1}{95}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7.3}Proposed Next Step}{96}}
\@writefile{lot}{\contentsline {table}{\numberline {4.8.1}{\ignorespaces Categories for Student Conceptualizations of What Structural Elements are Found in Proofs\relax }}{97}}
\newlabel{struct}{{4.8.1}{97}}
\@writefile{toc}{\contentsline {section}{\numberline {4.8}Phenomenographic Analysis of How Students Use Structure in Proof}{97}}
\newlabel{aStruct}{{4.8}{97}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8.1}Categories}{97}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8.2}Illustrative Quotations for Categories}{97}}
\@writefile{lot}{\contentsline {table}{\numberline {4.8.2}{\ignorespaces Illustrative Quotations for How Students Use Structure in Proof\relax }}{98}}
\newlabel{dataStructure}{{4.8.2}{98}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.8.1}{\ignorespaces Outcome space from What Structural Elements Students Find in Proof\relax }}{99}}
\newlabel{fig:WhatStructure}{{4.8.1}{99}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8.3}Relations}{99}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8.4}Critical Factors}{99}}
\@writefile{lot}{\contentsline {table}{\numberline {4.8.3}{\ignorespaces Relationships for Student Conceptualizations of What Structural Elements Students Find in Proof\relax }}{100}}
\newlabel{structR}{{4.8.3}{100}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8.5}Dimensions of Variation}{100}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8.6}Validation}{100}}
\@writefile{lot}{\contentsline {table}{\numberline {4.8.4}{\ignorespaces Critical Factors for What structure do students notice in proofs?\relax }}{101}}
\newlabel{tab:critWhatStruct}{{4.8.4}{101}}
\@writefile{lot}{\contentsline {table}{\numberline {4.9.1}{\ignorespaces Categories from What Students Think Makes a Proof Valid\relax }}{102}}
\newlabel{valid}{{4.9.1}{102}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.9.1}{\ignorespaces Outcome space from What Students Think Makes a Proof Valid\relax }}{102}}
\newlabel{fig:Valid}{{4.9.1}{102}}
\@writefile{toc}{\contentsline {section}{\numberline {4.9}Phenomenographic Analysis of What Students Think Makes a Proof Valid}{102}}
\newlabel{aValid}{{4.9}{102}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9.1}Categories}{102}}
\@writefile{lot}{\contentsline {table}{\numberline {4.9.2}{\ignorespaces Illustrative Quotations for What Students Think Makes a Proof Valid\relax }}{103}}
\newlabel{dataValid}{{4.9.2}{103}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9.2}Illustrative Quotations for Categories}{103}}
\@writefile{lot}{\contentsline {table}{\numberline {4.9.3}{\ignorespaces Relationships from What Students Think Makes a Proof Valid\relax }}{104}}
\newlabel{validR}{{4.9.3}{104}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9.3}Relations}{104}}
\citation{alcock2002definitions}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9.4}Critical Factors}{105}}
\@writefile{lot}{\contentsline {table}{\numberline {4.9.4}{\ignorespaces Critical Factors from What Students Think Makes a Proof Valid\relax }}{105}}
\newlabel{tab:critValid}{{4.9.4}{105}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9.5}Dimensions of Variation}{105}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9.6}Validation}{106}}
\@writefile{lot}{\contentsline {table}{\numberline {4.10.1}{\ignorespaces Categories for Combined Data\relax }}{107}}
\newlabel{combined}{{4.10.1}{107}}
\@writefile{toc}{\contentsline {section}{\numberline {4.10}Phenomenographic Analysis of Combined Data}{107}}
\newlabel{aCombine}{{4.10}{107}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.1}Categories}{107}}
\@writefile{lot}{\contentsline {table}{\numberline {4.10.2}{\ignorespaces Illustrative Quotations for Combined Data\relax }}{109}}
\newlabel{dataCombined}{{4.10.2}{109}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.2}Illustrative Quotations for Categories}{109}}
\@writefile{toc}{\contentsline {subsubsection}{Maybe it isn't argumentation}{110}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsubsection}{Generalization}{111}}
\@writefile{toc}{\contentsline {subsubsection}{Generalization vs. Argumentation}{111}}
\@writefile{toc}{\contentsline {subsubsection}{Interiorization vs. Internalization}{111}}
\@writefile{toc}{\contentsline {subsubsection}{Representation}{112}}
\@writefile{toc}{\contentsline {subsubsection}{Structure}{112}}
\@writefile{toc}{\contentsline {subsubsection}{Steps, Leaps and Direction}{112}}
\@writefile{lot}{\contentsline {table}{\numberline {4.10.3}{\ignorespaces Relationships for Combined Data\relax }}{113}}
\newlabel{combinedR}{{4.10.3}{113}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.3}Relations}{113}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.4}Critical Factors}{113}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.5}Dimensions of Variation}{113}}
\@writefile{lot}{\contentsline {table}{\numberline {4.10.4}{\ignorespaces Critical Factors from Combined Data\relax }}{114}}
\newlabel{tab:critComb}{{4.10.4}{114}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10.6}Validation}{114}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Interpretation/Discussion}{115}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{marton1997learning}
\citation{marton2006some}
\citation{norman2005sage}
\citation{marton2006some}
\citation{puchner2014using}
\citation{puchner2014using}
\citation{BBloom1984}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Interpretation of What Students Think Proof Is}{117}}
\citation{BBloom1984}
\citation{quiroga2015concept}
\citation{reddy2015learning}
\citation{czeisler}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Interpretation of How Students Attempt to Understand Proofs}{119}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Interpretation of What Students Think Proof is For}{121}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Interpretation of How Students Attempt to Apply Proofs (When Assigned)}{122}}
\citation{marton1997discontinuities}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Interpretation of How Students Attempt to Apply Proofs (When Not Assigned)}{123}}
\citation{carnap1958introduction}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Interpretation of Whether Students Exhibit Consequences of Inability With Proof (such as avoiding recursion)}{124}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}Interpretation of Student Familiarity with Specific Proof Techniques}{124}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}Interpretation of How Students Use Structure in Proof}{125}}
\citation{huth2004logic}
\citation{huth2004logic}
\citation{huth2004logic}
\@writefile{toc}{\contentsline {section}{\numberline {5.9}Interpretation of What Students Think Makes a Proof Valid}{128}}
\@writefile{toc}{\contentsline {section}{\numberline {5.10}Interpretation of Combined Data}{128}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.1}Argumentation}{129}}
\citation{almstrum1996investigating}
\citation{carnap1958introduction}
\citation{rutten2012learning}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.2}Generalization / Specialization}{131}}
\citation{huttel2010transitions}
\@writefile{toc}{\contentsline {subsubsection}{On generalization}{135}}
\citation{was it professor Sheehy? with powerpoint definitions/examples}
\citation{sipser2012introduction}
\citation{czeisler}
\citation{stickgold2013sleep}
\citation{hasselmo1999neuromodulation}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.3}Generalization vs. Argumentation}{139}}
\citation{harel1998students}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.4}Interiorization vs. Internalization}{140}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.5}Representation}{141}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.6}Structure}{141}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.10.7}Steps, Leaps and Direction}{141}}
\@writefile{toc}{\contentsline {section}{\numberline {5.11}Report: Navigating Through Space of Conceptualization of Proof}{141}}
\newlabel{thickNrich}{{5.11}{141}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.11.1}Context}{142}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.11.2}Conjectures and Conceptualizations}{143}}
\@writefile{toc}{\contentsline {subsubsection}{What if students are trying to learn ``what'', but not asking ``why''?}{144}}
\@writefile{toc}{\contentsline {subsubsection}{What if students had a foundation in process/algorithms and did not have much experience thinking about justifications for specific reasoning steps?}{144}}
\@writefile{toc}{\contentsline {subsubsection}{What if students were not sufficiently patient with themselves to notice careful distinctions?}{144}}
\@writefile{toc}{\contentsline {subsubsection}{What if students do not listen with equal attentiveness to all that is said?}{145}}
\@writefile{toc}{\contentsline {subsubsection}{What if students didn't realize that the work they see is a polished product?}{145}}
\@writefile{toc}{\contentsline {subsubsection}{What if students hoped that process-step proofs would be sufficient?}{146}}
\@writefile{toc}{\contentsline {subsubsection}{What if students were not finding a clarity benefit to mathematical formulation?}{146}}
\@writefile{toc}{\contentsline {subsubsection}{What if students did not notice structure in proofs?}{146}}
\@writefile{toc}{\contentsline {subsubsection}{What if students did not easily generalize from one representation and specialize an idea into another representation?}{147}}
\@writefile{toc}{\contentsline {subsubsection}{What if students really did have trouble with negation?}{147}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.11.3}Report}{148}}
\citation{norman2005sage}
\citation{tversky1981framing}
\citation{merriam2009qualitative}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Validity and Reliability}{151}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Introduction}{151}}
\citation{Merriam2009}
\citation{norman2005sage}
\citation{merriam1995can}
\citation{lincoln1986but}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Validity and Reliability Goals in the Social Constructivist Paradigm}{152}}
\citation{lincoln1986but}
\citation{schwandt2007judging}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}Trustworthiness}{153}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Credibility}{153}}
\citation{lincoln1985naturalistic}
\citation{krefting1991rigor}
\citation{krefting1991rigor}
\citation{merriam2009qualitative}
\citation{epp2011discrete}
\citation{hammack2013book}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Transferability}{154}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.4}Confirmability}{154}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Approaches}{155}}
\newlabel{triang}{{6.3}{155}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.1}Purposefully Seeking Diversity}{156}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.2}Diversity in Participants}{156}}
\citation{glaser1970theoretical}
\@writefile{toc}{\contentsline {subsubsection}{Theoretical Sampling}{157}}
\@writefile{toc}{\contentsline {subsubsection}{Saturation}{157}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.3}Diversity in Sources}{158}}
\@writefile{toc}{\contentsline {subsubsection}{Interviews}{158}}
\citation{denzin1973research}
\@writefile{toc}{\contentsline {subsubsection}{Documents}{159}}
\@writefile{toc}{\contentsline {subsubsection}{Other Sources}{159}}
\citation{patton1990qualitative}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.4}Alternative Explanations}{160}}
\@writefile{toc}{\contentsline {subsubsection}{Looking for Supplementary Explanations and Supporting Data}{160}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3.5}Consistency Checking}{160}}
\citation{merriam2009qualitative}
\citation{merriam2009qualitative}
\citation{norman2005sage}
\citation{norman2005sage}
\citation{norman2005sage}
\citation{merriam2009qualitative}
\citation{lincoln1985naturalistic}
\citation{wolcott1994transforming}
\citation{norman2005sage}
\citation{merriam2009qualitative}
\@writefile{toc}{\contentsline {subsubsection}{Peer Review}{162}}
\citation{devlin2012mathematical}
\citation{Franklin}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Specific Papers and Manuscripts}{163}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}Validity and Reliability in Proofs Using the Pumping Lemma for Regular Languages}{163}}
\citation{Mattuck}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}Proof by Induction}{165}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}Statement of Researcher Bias}{165}}
\newlabel{bias}{{6.5}{165}}
\citation{piaget1952origins}
\citation{beth1966mathematical}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Related Work}{167}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Constructivism}{167}}
\citation{vygotsky1962language}
\citation{vygotsky1978mind}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.1}Social Constructivism}{168}}
\citation{arcavi1998teaching}
\citation{fischbein1987intuition}
\citation{fischbein1987intuition}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.2}Social Constructivism Applied to Mathematics Education}{169}}
\citation{Fischbein}
\citation{arcavi1998teaching}
\citation{Fischbein}
\citation{(2010 Jour. Math. Behav.)}
\citation{2010}
\citation{Explanation and Proof in Mathmatics}
\citation{Springer}
\citation{harel1998students}
\citation{kaput1998research}
\citation{harel1998students}
\citation{harel1998students}
\citation{harel1998students}
\@writefile{lof}{\contentsline {figure}{\numberline {7.1.1}{\ignorespaces How proof develops, Tall Mejia-Ramos\relax }}{171}}
\newlabel{fig:chp7p1}{{7.1.1}{171}}
\citation{harel1998students}
\citation{baranchik1998supplementary}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{kaput1998research}
\citation{moore1994making}
\citation{rota1997phenomenology}
\citation{booth1997phenomenography}
\citation{booth1997phenomenography}
\citation{bransford2000designs}
\citation{whitehead1959aims}
\citation{van1992jasper}
\citation{lehrer2000inter}
\citation{huang2015highest}
\citation{gray1994duality}
\citation{hiebert2013conceptual}
\citation{gibson1998students}
\citation{harel1998students}
\citation{harel1998students}
\citation{mason1989mathematical}
\citation{hazzan2003students}
\citation{viete2006analytic}
\citation{gray1994duality}
\citation{rosken2007integrating}
\citation{rasslan2002definitions}
\citation{dubinsky2002apos}
\citation{leron1983structuring}
\citation{leron1995abstract}
\citation{piaget1952origins}
\citation{vygotsky1978mind}
\citation{vygotsky1987zone}
\citation{harel1991constructionism}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1.3}Radical Constructivism}{178}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Computer Science Education}{178}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.1}Quantifiers}{178}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.2}Symbols}{178}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2.3}Teaching Pumping Lemmas}{180}}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Proof by Induction}{181}}
\citation{aakerlind2012variation}
\citation{runesson2005beyond}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}Mathematics Education on Proof}{182}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}Qualitative Research}{182}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.1}Phenomenography and Variation Theory}{182}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.5.2}Thematic Analysis}{182}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Conclusion}{183}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {8.1}What Students Think Proofs Are}{183}}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {8.2}How Students Attempt to Understand Proofs}{185}}
\@writefile{toc}{\contentsline {section}{\numberline {8.3}What Students Think Proof is For}{185}}
\@writefile{toc}{\contentsline {section}{\numberline {8.4}How Students Attempt to Apply Proof, When Assigned, and When Not Assigned}{186}}
\@writefile{toc}{\contentsline {section}{\numberline {8.5}Whether Students Exhibit Consequences of Inability With Proof}{187}}
\@writefile{toc}{\contentsline {section}{\numberline {8.6}Student Familiarity with Specific Proof Techniques}{187}}
\@writefile{toc}{\contentsline {section}{\numberline {8.7}How Students Use Structure in Proof}{188}}
\@writefile{toc}{\contentsline {section}{\numberline {8.8}What Students Think Makes a Proof Valid}{188}}
\citation{sipser}
\citation{polya1954mathematics}
\@writefile{toc}{\contentsline {section}{\numberline {8.9}Conclusions from the Combined Data}{189}}
\@writefile{toc}{\contentsline {section}{\numberline {8.10}Recognizing an Endpoint}{191}}
\citation{epp2010discrete}
\citation{rosen2003}
\citation{huth2004logic}
\@writefile{toc}{\contentsline {section}{\numberline {8.11}Application of Findings / Implications for Pedagogy}{192}}
\citation{devlinintro}
\citation{carnap1958introduction}
\citation{huth2004logic}
\citation{velleman2006prove}
\citation{alcock2005proof}
\@writefile{toc}{\contentsline {chapter}{\numberline {9}Future Work}{195}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {9.1}Pursuit of Conclusions}{195}}
\citation{marton2006some}
\@writefile{toc}{\contentsline {section}{\numberline {9.2}Helping Students Discern Derivation for Proof of Correctness}{197}}
\bibdata{literature,literatureClickersTheory,literatureFIE,literatureproof,literatureQualRes,literatureQualRes2,literatureQualRes3,literatureQualRes4,literatureQualRes5,literatureQualRes6,litMathPhenom,litSEEval,litSEQual,litVertical2}
\bibcite{czeisler}{1}
\bibcite{aakerlind2012variation}{2}
\bibcite{alcock2002definitions}{3}
\bibcite{alcock2005proof}{4}
\bibcite{almstrum1996investigating}{5}
\bibcite{arcavi1998teaching}{6}
\bibcite{aspinall2000proof}{7}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{198}}
\bibcite{baranchik1998supplementary}{8}
\bibcite{bausell1972factorial}{9}
\bibcite{ben1998constructivism}{10}
\bibcite{beth1966mathematical}{11}
\bibcite{black1998inside}{12}
\bibcite{BBloom1984}{13}
\bibcite{bloom1956taxonomy}{14}
\bibcite{booth1997phenomenography}{15}
\bibcite{booth2001learning}{16}
\bibcite{bowden2004university}{17}
\bibcite{boyatzis1998transforming}{18}
\bibcite{bransford2000designs}{19}
\bibcite{braun2006using}{20}
\bibcite{brooks1999search}{21}
\bibcite{carnap1958introduction}{22}
\bibcite{dahlin2007enriching}{23}
\bibcite{denzin1973research}{24}
\bibcite{norman2005sage}{25}
\bibcite{devlin2012mathematical}{26}
\bibcite{devlinintro}{27}
\bibcite{dorfler2000means}{28}
\bibcite{dubinsky2002apos}{29}
\bibcite{ellenberg2014not}{30}
\bibcite{epp2010discrete}{31}
\bibcite{epp2011discrete}{32}
\bibcite{ernest1994constructing}{33}
\bibcite{ernest1994constructivism}{34}
\bibcite{fereday2008demonstrating}{35}
\bibcite{fischbein1987intuition}{36}
\bibcite{Franklin}{37}
\bibcite{fried2014single}{38}
\bibcite{gibson1998students}{39}
\bibcite{glaser2008conceptualization}{40}
\bibcite{glaser1970theoretical}{41}
\bibcite{glaser1968discovery}{42}
\bibcite{gray1994duality}{43}
\bibcite{hammack2013book}{44}
\bibcite{harel1998students}{45}
\bibcite{harel1991constructionism}{46}
\bibcite{hasselmo1999neuromodulation}{47}
\bibcite{hazzan2003students}{48}
\bibcite{hiebert2013conceptual}{49}
\bibcite{huang2015highest}{50}
\bibcite{huth2004logic}{51}
\bibcite{huttel2010transitions}{52}
\bibcite{kaput1998research}{53}
\bibcite{kendall1999axial}{54}
\bibcite{krefting1991rigor}{55}
\bibcite{lehrer2000inter}{56}
\bibcite{lerman2012articulating}{57}
\bibcite{leron1983structuring}{58}
\bibcite{leron1995abstract}{59}
\bibcite{lincoln1985naturalistic}{60}
\bibcite{lincoln1986but}{61}
\bibcite{loewenberg2003mathematical}{62}
\bibcite{marton1981phenomenography}{63}
\bibcite{marton1997learning}{64}
\bibcite{marton2006some}{65}
\bibcite{marton2013meanings}{66}
\bibcite{marton2005unit}{67}
\bibcite{marton1976qualitative}{68}
\bibcite{marton1997discontinuities}{69}
\bibcite{mason1989mathematical}{70}
\bibcite{Mattuck}{71}
\bibcite{mcgowen2010metaphor}{72}
\bibcite{merriam1995can}{73}
\bibcite{Merriam2002}{74}
\bibcite{merriam2009qualitative}{75}
\bibcite{Merriam2009}{76}
\bibcite{moore1994making}{77}
\bibcite{patton1990qualitative}{78}
\bibcite{piaget1952origins}{79}
\bibcite{polya1954mathematics}{80}
\bibcite{puchner2014using}{81}
\bibcite{quiroga2015concept}{82}
\bibcite{rasslan2002definitions}{83}
\bibcite{reddy2015learning}{84}
\bibcite{richards2014handling}{85}
\bibcite{rosen2003}{86}
\bibcite{rosken2007integrating}{87}
\bibcite{rota1997phenomenology}{88}
\bibcite{runesson2005beyond}{89}
\bibcite{rutten2012learning}{90}
\bibcite{saljo1979learning}{91}
\bibcite{schwandt2007judging}{92}
\bibcite{sillitoapp}{93}
\bibcite{sipser2012introduction}{94}
\bibcite{sipser}{95}
\bibcite{smedslund1970circular}{96}
\bibcite{stickgold2013sleep}{97}
\bibcite{strauss1990basics}{98}
\bibcite{svensson1997theoretical}{99}
\bibcite{tall2012cognitive}{100}
\bibcite{thompson1994students}{101}
\bibcite{thota2014programming}{102}
\bibcite{tversky1981framing}{103}
\bibcite{valiant2000circuits}{104}
\bibcite{van1992jasper}{105}
\bibcite{van2011slow}{106}
\bibcite{velleman2006prove}{107}
\bibcite{viete2006analytic}{108}
\bibcite{von1987learning}{109}
\bibcite{von2013radical}{110}
\bibcite{vygotsky1987zone}{111}
\bibcite{vygotsky1978mind}{112}
\bibcite{vygotsky1962language}{113}
\bibcite{wenger1999communities}{114}
\bibcite{whitehead1959aims}{115}
\bibcite{wittgenstein1989wittgenstein}{116}
\bibcite{wolcott1994transforming}{117}
\bibstyle{amsplain}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}II}{212}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{qlist}{{A}{212}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.1}{\ignorespaces Equation (1)\relax }}{212}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.2}{\ignorespaces Equation (2)\relax }}{212}}
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces  \relax }}{212}}
\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces  \relax }}{213}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.3}{\ignorespaces \relax }}{214}}
\newlabel{fig:pic2}{{A.0.3}{214}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.4}{\ignorespaces \relax }}{214}}
\newlabel{fig:pic4}{{A.0.4}{214}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.5}{\ignorespaces First\relax }}{215}}
\newlabel{fig:pic9}{{A.0.5}{215}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.6}{\ignorespaces Second\relax }}{215}}
\newlabel{fig:pic10}{{A.0.6}{215}}
\@writefile{loa}{\contentsline {algocf}{\numberline {3}{\ignorespaces  \relax }}{215}}
\@writefile{loa}{\contentsline {algocf}{\numberline {4}{\ignorespaces  \relax }}{215}}
\@writefile{loa}{\contentsline {algocf}{\numberline {5}{\ignorespaces  \relax }}{219}}
\@writefile{lof}{\contentsline {figure}{\numberline {A.0.7}{\ignorespaces \relax }}{220}}
\newlabel{fig:pic1}{{A.0.7}{220}}
\newlabel{fig:p93}{{\caption@xref {fig:p93}{ on input line 289}}{222}}