Search the Archive

The articles of the Automath list and Automath Extra list can be sorted on number, author, date and title.

You can use the PDF files to search inside individual articles. Click here to download a search Catalogue (packed into a zip-archive) that you can use to search over all articles in the Automath and Automath Extra list (open the Catalogue with Adobe (C) Acrobat Reader).

At the moment it is not possible to search the Automath Archive on keywords inside articles, other than with Acrobat Reader. A searchable catalogue will be launched in the future at a time when we can more accurately predict sustainable levels of demand and install appropriately sized hardware and software to fulfil this.