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