Amdeberhan T., Moll V.H. Tapas in Experimental Mathematics

Providence: American Mathematical Society, 2008. - 292p.Сборник небольших работ (tapas - буквально "закуски"), представленных на конференции в Новом Орлеане в 2007 году и посвящённых использованию вычислительной техники в математических исследованиях для "усиления интуиции", поиска закономерностей и выдвижения предположений, проверки гипотез до попыток их доказательства, формальным методам доказательства с помощью компьютера, выполнением сложных преобразований автоматически.
Для студентов и аспирантов-математиков.