Archimedes (CAD) Rich Client Platform in versions 0.5x has greatly improved the user interface model and stability, but some of the functionality from the last pre-RCP version is still being transferred. Version 0.58.0 moved this process a step closer by adding trimming, leader, svg and pdf exporting. Archimedes (CAD) Archimedes – "The Open CAD" – (also called Arquimedes) is a computer-aided design (CAD) program being developed with direct input from architects and architecture firms. With this design philosophy, the developers hope to create software better suited for architecture than the currently widely used AutoCAD, and other available CAD software. The program is
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