Caddie (CAD system) Caddie (CAD system) Caddie is a mid-range computer-assisted draughting (CAD) software package for 2D and 3D design. It is used primarily by architects, but has tools for surveyors and mechanical, civil and construction engineers. It was initially designed as an electronic drawing board, using concepts and tools clearly related to a physical board. Caddie requires a USB dongle. or software activation. Without the dongle or activation, the program can be used as a viewer and plot station for any DWG drawings, but it can't save drawings after the 14-day evaluation has expired. Caddie works on Windows XP, Windows Vista, Windows
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