TARGET (CAD software) TARGET (CAD software) TARGET 3001! is a CAD computer program for EDA and PCB design, developed by Ing.-Büro Friedrich in Germany. It supports the design of electronic schematics, PCBs, and device front panels. It runs under Windows and is available in English, German and French. A special branch of the program is the "ASIC Designer", which allows design of integrated circuits. The free version (for non-commercial use) is limited to 250 connection pins or pads on two copper layers. The PCB manufacturer PCB-Pool and Conrad Electronic provide a free unlimited version, that generates only printed output or output for PCB-Pool
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