Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings: 14749 (Lecture Notes in Computer Science, 14749) - Softcover

 
9783031645280: Mathematical Software – ICMS 2024: 8th International Conference, Durham, UK, July 22–25, 2024, Proceedings: 14749 (Lecture Notes in Computer Science, 14749)
Softcover
ISBN 10: 3031645286 ISBN 13: 9783031645280
Publisher: Springer, 2024

Synopsis

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 for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2024
Language
English
ISBN 10 
3031645286
ISBN 13 
9783031645280
Binding
Paperback
Number of pages
400
Editor
Buzzard Kevin, Dickenstein Alicia, Eick Bettina, Leykin Anton, Ren Yue