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 Computer-assisted proof A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program. Attempts have also been made in the area of artificial intelligence research to create smaller, explicit, new proofs of mathematical theorems from