Intelligent Computer Mathematics
Christoph Benzmüller, Bruce Miller
Informasi Umum
Kode
21.21.3761
Klasifikasi
004.015 1 - Computer Mathematics, mathematical principles
Jenis
Buku - Elektronik (E-Book)
Subjek
Computer Mathematical
No. Rak
Dilihat
112 kali
Informasi Lainnya
Abstraksi
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
- The conference was held virtually due to the COVID-19 pandemic.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Christoph Benzmüller, Bruce Miller |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer |
| Kota | Switzerland |
| Tahun | 2020 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
Download / Flippingbook
belum pernah diunduh
