Symbolic computation is an indispensable tool for theoretical particle
physics, especially in the context of perturbative quantum field
theory. In this talk, I will review FORM, one of computer algebra
systems widely used in higher-order calculations, its design principles
and advantages. The newly released version 4.2 will also be discussed.