Now showing items 2-2 of 2

    • Insight into Theorem Proving via Eye Movements 

      Aaron, Eric; Spivey, Michael (Cornell University, 1999-02)
      We are implementing an automated theorem proving system that will in part attempt to simulate human per-formance on calculational logic. To support this project, we recorded and analyzed people's eye movements while they ...