Dieses Buch sammelt die wichtigsten Beiträge der zweiten internationalen Konferenz zu symbolischer Mathematik und künstlicher Intelligenz in Cambridge, präsentiert innovative Algorithmen für formale Berechnungen und zeigt deren Einsatz in komplexen wissenschaftlichen Modellen sowie interdisziplinären Anwendungen.