Gable CAD 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 into Gable CAD Systems Limited (incorporated in 1984) and retained links with the university until its demise in 1996 when a court order was made for compulsory winding up. An early building information modeling application, Gable CAD was an advanced 2D and 3D design package with different modules, and was operated via a Windows-style interface and
Computer-assisted proof mathematics is occurring at the same time as questions are being asked in the physics community about whether twenty-first century theoretical physics is becoming too mathematical, and leaving behind its experimental roots. The emerging field of experimental mathematics is confronting this debate head-on by focusing on numerical experiments as its main tool for mathematical exploration. In 2010, academics at The University of Edinburgh offered people the chance to "buy their own theorem" created through a computer-assisted proof. This new theorem would be named after the purchaser. Inclusion in this list does not imply that a formal computer-checked proof exists, but