@article{790265,
      note = {International conference proceedings.},
      author = {Geuvers, Herman, and England, Matthew, and Hasan, Osman,  and Rabe, Florian, and Teschke, Olaf,},
      url = {http://library.usi.edu/record/790265},
      title = {Intelligent computer mathematics : 10th International  Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017,  Proceedings /. CICM (Conference)},
      doi = {https://doi.org/10.1007/978-3-319-62075-6},
      recid = {790265},
      pages = {1 online resource (xviii, 375 pages) :},
}