Claris CAD 1k of disk space is required. This is due to a limitation of saving to large size, HFS+ formatted disks. One can save to a floppy disk or small RAM disk as a workaround, or use the "Save As..." command, renaming the file in the process. Claris CAD Claris CAD was a two-dimensional computer-aided design program for Apple Inc. Macintosh. Claris CAD was developed in 1988 by Claris Corporation in a joint effort with Craig S. Young of Computer Aided Systems for Engineering (CASE). It was based on MacDraw II and Young's earlier CAD application, "EZ-Draft". Version 1 was released
Computer-assisted proof Computer-assisted proof A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program. Attempts have also been made in the area of artificial intelligence research to create smaller, explicit, new proofs of mathematical theorems from