@article{1438332,
      note = {"This year's meeting was supposed to be held in Timisoara,  Romania, but again due to the pandemic, it was held  online."--Preface},
      author = {Kamareddine, Fairouz D. and Coen, Claudio Sacerdoti.},
      url = {http://library.usi.edu/record/1438332},
      title = {Intelligent computer mathematics : 14th International  Conference, CICM 2021, Timisoara, Romania, July 26-31,  2021, Proceedings /. CICM (Conference)},
      publisher = {Springer,},
      abstract = {This book constitutes the refereed proceedings of the 14th  International Conference on Intelligent Computer  Mathematics, CICM 2021, held in Timisoara, Romania, in July  2021*. The 12 full papers, 7 system descriptions, 1 system  entry, and 3 abstracts of invited papers presented were  carefully reviewed and selected from a total of 38  submissions. The papers focus on advances in formalization,  automatic theorem proving and learning, search and  classification, teaching and geometric reasoning, and logic  and systems, among other topics. * The conference was held  virtually due to the COVID-19 pandemic.},
      doi = {https://doi.org/10.1007/978-3-030-81097-9},
      recid = {1438332},
      pages = {1 online resource},
      address = {Cham :},
      year = {2021},
}