swMATH links 9 September 2017

swMATH is an information system for mathematical software systems. It aggregates data from publications about software systems in the zbMATH abstracting system into software landing pages that often have more information about the systems than the system home pages themselves.

swMATH has been tracking the Theorem Prover Museum as a special collection for a while. We now link back to swMATH from the systems overview page (see the white buttons on the index page).