Math and programming abstraction

This section introduces the formulation and the key abstractions of programming. Users who want to understand how this package works are recommended to read this section.