@article{1476543,
      note = {Includes author index.},
      author = {Dubois, Catherine, and Kerber, Manfred,},
      url = {http://library.usi.edu/record/1476543},
      title = {Intelligent computer mathematics : 16th International  Conference, CICM 2023, Cambridge, UK, September 5-8, 2023  Proceedings /. CICM (Conference)},
      abstract = {This book constitutes the refereed proceedings of the 16th  International Conference on Intelligent Computer  Mathematics, CICM 2023, held in Cambridge, UK, in September  2023. The 14 full papers, 2 project/survey papers, 6 short  papers, and 1 tool paper presented were carefully reviewed  and selected from a total of 37 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.},
      doi = {https://doi.org/10.1007/978-3-031-42753-4},
      recid = {1476543},
      pages = {1 online resource (xvii, 324 pages) :},
}