CAD Overlay CAD Overlay CAD Overlay is a commercial software application for raster-to-vector translation in 2D computer-aided design (CAD) and drafting — available between 1988 and 1996 as a third-party application for AutoCAD and other CAD systems. Developed and marketed by Image Systems Technology, CAD Overlay was first released in January 1988 running on AutoCAD Version 2.6. CAD Overlay replaced the previous generation of automatic raster-to-vector translation systems by embedding scanned documents and images directly in the CAD system. CAD Overlay was derived from a custom AutoCAD application developed using the Nth Engine graphics board in 1987 by David Chassin for Image
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