Reading Proofs for Validation and Comprehension: An Expert-Novice Eye-Movement Study: Data and Analysis

These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: An Expert-Novice Eye-Movement Study". Files are in JASP format (https://jasp-stats.org).<br>Code Book to interpret variable names:<br>C means comprehension conditionV means validation conditionL4 means Line 4<br>C_NonFormDwellTimeRaw dwell time on non-formulae in comprehension condition<br>C_FormDwellTimeRaw dwell time on formulae in comprehension condition<br>C_DwellRaw_L1Raw dwell time on line 1 in comprehension condition<br>C_DwellPercent_L1Dwell time as a percentage (of all time on proofs) on line 1 in comprehension condition<br>C_MeanFixDur_L1Raw mean fixation duration on line 1 in comprehension condition<br>C_MeanFixDurPercent_L1Mean fixation duration as a proportion of individual's average on line 1 in comprehension condition<br>C_PupilRightPercent_L1Mean pupil dilation as a percentage of individuals' average on line 1 in comprehension condition<br>C_Back177183_Proportion_L1Proportion of regressive saccades or back saccades (defined as saccades with angle 177-183) on Line 1 in the comprehension condition<br>C_BetwLine-L1The number of between-line saccades that end in Line 1, in the comprehension condition.<br>C_FIrstFixTimeAsProp_L1The time of first fixation on Line 1, as a proportion of the overall reading time.