Mathematical Software - ICMS 2024
This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024.
The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software...
This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024.
The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software...