Kevin Buzzard – författare
L-Functions and Galois Representations
1 379 kr
Skickas inom 7-10 vardagar
Intelligent Computer Mathematics
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings
562 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022.
The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
Mathematical Software – ICMS 2024
8th International Conference, Durham, UK, July 22–25, 2024, Proceedings
728 kr
Skickas inom 10-15 vardagar
896 kr
Läs direkt efter köp
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.