High-level Mathematical Modeling And Programming