Computer-Assisted Analysis and Model Simplification