Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings (Lecture Notes in Artificial Intelligence) 2024 · ENGLISH · PDF View details →
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science) 2022 · ENGLISH · PDF View details →
