Now showing items 4-6 of 6

    • The PRL Mathematics Environment: A Knowledge Based Medium 

      Bates, Joseph L. (Cornell University, 1986-08)
    • Proofs as Programs 

      Bates, Joseph L.; Constable, Robert L. (Cornell University, 1982-02)
      The significant intellectual cost of programming is for problem solving and explaining and not for coding. Yet, programming systems offer mechanical assistance exclusively with the coding process. Here we describe an ...
    • Writing Programs that Construct Proofs 

      Constable, Robert L.; Knoblock, Todd B.; Bates, Joseph L. (Cornell University, 1984-10)
      When we learn mathematics, we learn more than definitions and theorems. We learn techniques of proof. In this paper, we describe a particular way to express these techniques and incorporate them into formal theories and ...