"SAINT: heuristic symbolic integration in freshman calculus" - читать интересную книгу автора (Slagle J.R.)