Kosaku Nagasaka

• Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation