Intelligent Computer Mathematics, Proceedings of CICM 2025

Author

Valeria de Paiva, Peter Koepke