Login / Signup
Steve Earth
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 5
Top Topics
Computer Science
Mathematical Proofs
Theorem Prover
Group Activities
Top Venues
SIGCSE (2)
SIGCSE
</>
Publications
</>
Bruce W. Char
,
Jeremy Johnson
,
Steve Earth
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.
SIGCSE (2)
(2024)
Steve Earth
,
Jeremy R. Johnson
,
Bruce W. Char
Proof Buddy: A Tool to Aid Students in Proof Construction.
SIGCSE (2)
(2023)
Steve Earth
Establishing a Connection between Programming and Proof Writing.
SIGCSE (2)
(2022)
Bruce W. Char
,
Steve Earth
Retention and Transfer of Mathematical Thinking in the CS Curriculum.
SIGCSE (2)
(2022)
Steve Earth
,
Bruce W. Char
,
Jeremy R. Johnson
Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course.
SIGCSE
(2020)