Intelligent Computer Mathematics :: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /: edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef.

Rabe, Florian.; Farmer, William M.; Passmore, Grant O.; Youssef, Abdou.

doi:10.1007/978-3-319-96812-4

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef.

Rabe, Florian. editor.; Farmer, William M. editor.; Passmore, Grant O. editor.; Youssef, Abdou. editor.

2018

Q334-342

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef.

ISBN

9783319968124
3319968122
9783319968117

DOI

https://doi.org/10.1007/978-3-319-96812-4

Published

Cham : Springer International Publishing : Imprint: Springer, 2018.

Language

English

Description

1 online resource (xii, 287 pages) : illustrations.

Item Number

10.1007/978-3-319-96812-4 doi

Call Number

Q334-342

Dewey Decimal Classification

006.3

Summary

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.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Added Author

Rabe, Florian. editor.
Farmer, William M. editor.
Passmore, Grant O. editor.
Youssef, Abdou. editor.

Series

Lecture notes in computer science ; 11006.

Available in Other Form

Print version: 9783319968117

Linked Resources

Online Access