Katsusuke Nabeshima, Stephen M. Watt: Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024. CEUR Workshop Proceedings 3754, CEUR-WS.org 2024