Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


1 result for
Skip side bar filters

  • Mathematical Software – ICMS 2024

    8th International Conference, Durham, UK, July 22–25, 2024, Proceedings

    Edited by Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren ...
    Series series Springer Nature Proceedings Computer Science
    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 ... Read more

    $83.99 CAD