|
Showing 1 - 5 of
5 matches in All Departments
|
Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings (Paperback)
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
|
R1,478
Discovery Miles 14 780
|
Ships in 10 - 15 working days
|
This book constitutes the joint refereed proceedings of three
international events, namely the 18th Symposium on the Integration
of Symbolic Computation and Mechanized Reasoning, Calculemus 2011,
the 10th International Conference on Mathematical Knowledge
Management, MKM 2011, and a new track on Systems and Projects
descriptions that span both the Calculemus and MKM topics, all held
in Bertinoro, Italy, in July 2011. All 51 submissions passed
through a rigorous review process. A total of 15 papers were
submitted to Calculemus, of which 9 were accepted. Systems and
Projects track 2011 there have been 12 papers selected out of 14
submissions while MKM 2011 received 22 submissions, of which 9 were
accepted for presentation and publication. The events focused on
the use of AI techniques within symbolic computation and the
application of symbolic computation to AI problem solving; the
combination of computer algebra systems and automated deduction
systems; and mathematical knowledge management, respectively.
|
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Paperback, 1st ed. 2018)
Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
|
R1,470
Discovery Miles 14 700
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 11th
International Conference on Intelligent Computer Mathematics, CICM
2018, held in Hagenberg, Austria, in August 2018. The 23 full
papers presented were carefully reviewed and selected from a total
of 36 submissions. The papers focos on the Calculemus, Digital
Mathematics Libraries, and Mathematical Knowledge Management tracks
which also correspond to the subject areas of the predecessor
meetings. Orthogonally, the Systems and Projects track called for
descriptions of digital resources, such as data and systems, and of
projects, whether old, current, or new, and survey papers covering
any topics of relevance to the CICM community.
|
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Paperback, 1st ed. 2017)
Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
|
R2,554
Discovery Miles 25 540
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
International Conference on Intelligent Computer Mathematics, CICM
2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers
and 3 abstracts of invited papers presented were carefully reviewed
and selected from a total of 40 submissions. The papers are
organized in three tracks: the Calculemus track examining the
integration of symbolic computation and mechanized reasoning; the
Digital Mathematics Libraries track dealing with math-aware
technologies, standards, algorithms, and processes; the
Mathematical Knowledge Management track being concerned with all
aspects of managing mathematical knowledge, in informal,
semi-formal, and formal settings. An additional track Systems and
Projects contains descriptions of systems and relevant projects,
both of which are key to a research topic where theory and practice
interact on explicitly represented knowledge.
|
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Paperback, 2015 ed.)
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
|
R2,519
Discovery Miles 25 190
|
Ships in 10 - 15 working days
|
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.
|
|