Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation by Gabriela Jeronimo | Menrva Books