Add BrightSurf on Google Email

Science News for February 18, 2006


Pennsylvania tackles nano engineering education

The Pennsylvania Nanofabrication Manufacturing Technology Partnership provides a flexible nanotechnology education program for students across the state, offering a capstone semester at Penn State's University Park campus. The program focuses on broadening the scope of nanotechnology applications and social, health, and environmental i...

The changing nature of proof

Thomas C. Hales famously proved Johannes Kepler's 400-year-old conjecture on sphere-packing using a computer-assisted proof, which was initially met with skepticism by reviewers. Hales is now using his problem-solving skills to 'prove the proof' using a specially written computer language in the Flyspeck Project.

SourceUniversity of Pittsburgh·JournalDiscrete & Computational Geometry·DateFeb 18, 2006