Böcker av Marko Petkovsek

In the area of combinatorial identities computers are able to find very elegant proofs of difficult theorems unassisted by human intervention. This book shows how several recently developed computer algorithms can master the difficult job of simplifying complex summations.