Mathematical Reasoning and Modeling