Replacing lengthy hand derivations with computer-based derivations.
Menggantikan derivatisasi panjang dengan tangan dengan derivatisasi menggunakan komputer.