author = {Kevin Buzzard and Temur Kutsia},
title = {{Intelligent Computer Mathematics}},
language = {english},
series = {Lecture Notes in Artificial Intelligence},
volume = {13467},
publisher = {Springer},
isbn_issn = {ISBN 978-3-031-16680-8},
year = {2022},
editor = {Kevin Buzzard and Temur Kutsia},
length = {348},
conferencename = {15th International Conference, CICM 2022},
url = {https://doi.org/10.1007/978-3-031-16681-5}