Now showing items 1-1 of 1

    • A Notation for Computer Aided Mathematics 

      Mannion, Conal; Allen, Stuart (Cornell University, 1994-02)
      The NuPrl4 term structure and editor display mechanism are used to provide unambiguous notations for use in the the development of computer supported mathematical arguments. These notations are used to provide a natural ...