Abstract
We survey theories and techniques of the implementation of several modular forms and related topics. In particular, we focus on a recent progress of the implementation of Siegel modular forms that is an important generalization of elliptic modular forms.