The proofs used in the study described in the paper "Reading Proofs for Validation and Comprehension: An Expert-Novice Eye-Movement Study
We investigate eye movement measures and methods for predicting reading comprehension. This builds o...
This paper presents two studies of an intervention designed to help undergraduates comprehend mathem...
This paper presents two studies of an intervention designed to help undergraduates comprehend mathem...
The proofs used in the study described in the paper "Reading Proofs for Validation and Comprehension...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
These are the supplementary materials for the article "When research-based interventions fail: Multi...
We are implementing an automated theorem proving system that will in part attempt to simulate human ...
We are designing and implementing an automated theorem prover that will in part attempt to simulate ...
We investigate eye movement measures and methods for predicting reading comprehension. This builds o...
This paper presents two studies of an intervention designed to help undergraduates comprehend mathem...
This paper presents two studies of an intervention designed to help undergraduates comprehend mathem...
The proofs used in the study described in the paper "Reading Proofs for Validation and Comprehension...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
Does reading a mathematical proof for validation engender different behaviors from reading it for co...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
These are data and analysis files from the paper "Reading Proofs for Validation and Comprehension: A...
These are the supplementary materials for the article "When research-based interventions fail: Multi...
We are implementing an automated theorem proving system that will in part attempt to simulate human ...
We are designing and implementing an automated theorem prover that will in part attempt to simulate ...
We investigate eye movement measures and methods for predicting reading comprehension. This builds o...
This paper presents two studies of an intervention designed to help undergraduates comprehend mathem...
This paper presents two studies of an intervention designed to help undergraduates comprehend mathem...
DOI
Add to ORKG