Gable CAD mouse running on UNIX. It was possible to create detailed 3D models and then generate 2D drawings or rendered visualisations from the data. The assets of the company were acquired by Auxer in 1997 and aimed to complete the conversion of Gable CAD to Windows NT but this does not appear to have ever been released. Gable CAD Gable CAD, or Gable 4D Series, was a British architectural computer-aided design package initially developed in the early 1980s. Gable CAD was developed at the University of Sheffield in the mid-1980s under the leadership of Professor Bryan Lawson. It was spun out
Computer-assisted proof the runtime environment and hardware. Other mathematicians believe that lengthy computer-assisted proofs should be regarded as "calculations", rather than "proofs": the proof algorithm itself should be proved valid, so that its use can then be regarded as a mere "verification". Arguments that computer-assisted proofs are subject to errors in their source programs, compilers, and hardware can be resolved by providing a formal proof of correctness for the computer program (an approach which was successfully applied to the four-color theorem in 2005) as well as replicating the result using different programming languages, different compilers, and different computer hardware. Another possible way