1. Si m pl i ci ty of program m i ng. 2. Functi ons and program s can be m anaged, i nspected, m ani pul ated, and annotated i n the sam e m anner as any other RD F resources; they are fi rst–cl ass ci ti zens of the RD F w orl d.
In many applications of three dimensional computer graphics, the appearance of the same scene must be computed repeatedly for many different positions of the viewer. This paper concerns a scheme for exploiting this property of an application for the purpose of improving the efficiency of the hidden surface computation. The scheme involves a kind of… (More)
This manual explains how to use of the proof checker FOL, and supersedes all previous manuals. FOL checks proofs of a natural deduction style formuiation of first order functional calculus with equality augumented in the following ways: (i) it is a many-sorted first-order logic in which a partiai order over the sorts may be specified; (ii) conditional… (More)