Now showing items 1-2 of 2

    • Designing a Calculational Logic Theorem Prover: Insight into SearchProcedure via Eye Movements 

      Aaron, Eric; Spivey, Michael (Cornell University, 1998-05)
      We are designing and implementing an automated theorem prover that will in part attempt to simulate human performance on calculational logic theorem proving. To support this project, we recorded and analyzed people's eye ...
    • 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 ...