CAD/CAM dentistry CAD/CAM dentistry CAD/CAM dentistry is a field of dentistry and prosthodontics using CAD/CAM (computer-aided design and computer-aided manufacturing) to improve the design and creation of dental restorations, especially dental prostheses, including crowns, crown lays, veneers, inlays and onlays, fixed bridges, dental implant restorations, dentures (removable or fixed), and orthodontic appliances. CAD/CAM complements earlier technologies used for these purposes by any combination of increasing the speed of design and creation; increasing the convenience or simplicity of the design, creation, and insertion processes; and making possible restorations and appliances that otherwise would have been infeasible. Other goals include reducing unit cost and
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