|
![]() |
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Kevin Buzzard , Alicia Dickenstein , Bettina Eick , Anton LeykinPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2024 ed. Volume: 14749 ISBN: 9783031645280ISBN 10: 3031645286 Pages: 376 Publication Date: 17 July 2024 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |