15 citations · 61 across the 12 of their papers we have counts for
Showing cs.HCShow all
2 papers · 1 filter
cs.HC2026
Teaching Geometric Proof with Tech: Pitfalls and Possibilities
Hwei-Shin Harriman, Wode Ni, Yuchen Jin +2
Geometric proof is a foundational yet challenging topic in mathematics, requiring students to integrate visual, logical, and notational skills. While technology has enhanced learni…
cs.HC2019★ 2 cited
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
Michael Coblenz, Gauri Kambhatla, Paulette Koronkevich +5
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: they have h…