Publication Date
| In 2025 | 0 |
| Since 2024 | 0 |
| Since 2021 (last 5 years) | 1 |
| Since 2016 (last 10 years) | 1 |
| Since 2006 (last 20 years) | 2 |
Descriptor
Author
| Connelly, Vincent | 1 |
| Critten, Sarah | 1 |
| Dockrell, Julie E. | 1 |
| Iannone, Paola | 1 |
| Thoma, Athina | 1 |
| Walter, Kirsty | 1 |
Publication Type
| Journal Articles | 2 |
| Reports - Research | 2 |
| Tests/Questionnaires | 1 |
Education Level
| Elementary Education | 1 |
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
| United Kingdom | 2 |
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkThoma, Athina; Iannone, Paola – International Journal of Research in Undergraduate Mathematics Education, 2022
This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…
Descriptors: Validity, Mathematical Logic, Mathematics Instruction, Undergraduate Students
Dockrell, Julie E.; Connelly, Vincent; Walter, Kirsty; Critten, Sarah – British Educational Research Journal, 2015
The assessment of children's writing raises technical and practical challenges. In this paper we examine the potential use of a curriculum based measure for writing (CBM-W) to assess the written texts of pupils in Key Stage 2 (M age 107 months, range 88 to 125). Two hundred and thirty six Year three, five and six pupils completed a standardized…
Descriptors: Foreign Countries, Writing Assignments, Writing (Composition), Standardized Tests
