WolframAlpha computational knowledge AI
matching polynomial of the Petersen graph