I'd like to know which algorithm is used to test if two graphs are isomorphic?
As Danny points out, you can find the list of licensed software using the "About Mathematica..." box, available under the Mathematica menu on my Macintosh and under the Help menu for a PC. As a dialog box, that Notebook is not searchable and a bit inconvenient to work with. If we open it with a text editor and examine the contents, we find that the cells containing the lincense information are all "LicenseText" cells and that the first such cell for each licensed system is in Bold. Thus, we can grab and group information on all licensed software as follows:
Seems to indicate that there are 112 pieces of software licensed (in some way) for use in Mathematica. The last four groups are actually just statements of various open source software licenses, so there's really just 108. We can place all this information in a conveniently formatted notebook as follows.
This should open a notebook that looks like the following, after opening one of my favorite sections. Nauty version 2.4 is the 75th item on the list.