|
Showing 1 - 3 of
3 matches in All Departments
|
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.
Founded in 1931 by Otto Neugebauer as the printed documentation
service "Zentralblatt fur Mathematik und ihre Grenzgebiete,"
Zentralblatt MATH (ZBMATH) celebrates its 80th anniversary in 2011.
Today it is the most comprehensive and active reference database in
pure and applied mathematics worldwide. Many prominent
mathematicians have been involved in this service as reviewers or
editors and have, like all mathematicians, left their footprints in
ZBMATH, in a long list of entries describing all of their research
publications in mathematics. This book provides one review from
each of the 80 years of ZBMATH. Names like Courant, Kolmogorov,
Hardy, Hirzebruch, Faltings and many others can be found here. In
addition to the original reviews, the book offers the authors'
profiles indicating their co-authors, their favorite journals and
the time span of their publication activities. In addition to this,
a generously illustrated essay by Silke Gobel describes the history
of ZBMATH."
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R383
R310
Discovery Miles 3 100
Loot
Nadine Gordimer
Paperback
(2)
R383
R310
Discovery Miles 3 100
Sing 2
Blu-ray disc
R210
Discovery Miles 2 100
|