Dieses Buch präsentiert die neuesten Erkenntnisse aus der zweiten internationalen Konferenz zur symbolischen Mathematik und künstlichen Intelligenz, beleuchtet innovative Algorithmen für formale Analyse und diskutiert ihre Anwendung in komplexen wissenschaftlichen Problemen.