[PPT] - From Automated Theorem Proving to Nuclear Structure Analysis with PowerPoint Presentation