Title: Computer-Assisted Analysis and Model Simplification