Intelligent Computer Mathematics Intelligent Computer Mathematics

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Manfred Kerber والمزيد
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

النوع
علم وطبيعة
تاريخ النشر
٢٠١٥
٢٢ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٣٨٠
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٧٫١
‫م.ب.‬
Intelligent Computer Mathematics Intelligent Computer Mathematics
٢٠١٩
Intelligent Computer Mathematics Intelligent Computer Mathematics
٢٠٢٠
Intelligent Computer Mathematics Intelligent Computer Mathematics
٢٠١٦
Intelligent Computer Mathematics Intelligent Computer Mathematics
٢٠٠٨
Intelligent Computer Mathematics Intelligent Computer Mathematics
٢٠٠٩
Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
٢٠١٧
Symbolic Computation and Automated Reasoning Symbolic Computation and Automated Reasoning
٢٠٠١
Intelligent Computer Mathematics Intelligent Computer Mathematics
٢٠٢٣
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
٢٠٠٧