[2024/11/13–14] Speeding up of symbolic computation and its application to solving industrial problems 2