Shashank Pathak. Extending Flexible Boolean Semantics for the Language of Mathematics. In Valeria de Paiva, Peter Koepke, editors, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. Volume 16136 of Lecture Notes in Computer Science, pages 152-170, Springer, 2025. [doi]
Abstract is missing.