"Intelligent computer mathematics: Calculemus 2009 and MKM2009" - читать интересную книгу автора (Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen Watt)