Zaslat SMS: Applications of symbolic computation in fracture mechanics : final report / by Hui-Qian Tan.