Power systems CAD in system operating conditions. Several electrical engineering calculations and tests can be performed on a power systems CAD model, including: Power systems CAD In electrical power engineering, power systems CAD is computer-aided design (CAD) software that is used to design and simulate electrical power systems in commercial and industrial buildings. Electrical power systems CAD tools are used by electrical power systems engineers. In the United States alone, power systems are a $100 billion industry. Power systems CAD tools increase the productivity, efficiency, and effectiveness of electrical systems designers by providing a design foundation that allows power systems to be created
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