Caddie (CAD system) Caddie (CAD system) Caddie is a mid-range computer-assisted draughting (CAD) software package for 2D and 3D design. It is used primarily by architects, but has tools for surveyors and mechanical, civil and construction engineers. It was initially designed as an electronic drawing board, using concepts and tools clearly related to a physical board. Caddie requires a USB dongle. or software activation. Without the dongle or activation, the program can be used as a viewer and plot station for any DWG drawings, but it can't save drawings after the 14-day evaluation has expired. Caddie works on Windows XP, Windows Vista, Windows
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