| Vol-3754 urn:nbn:de:0074-3754-0 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# SCSS 2024 WiP
10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop

### 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.

Edited by

### Katsusuke Nabeshima *
Stephen M. Watt **

* Tokyo University of Science, Kagurazaka, Shinjuki-ku, Tokyo, 162-8601, Japan
** David R. Cheriton School of Computer Science, University of Waterloo, Waterloo CANADA N2L 3G1

## Table of Contents

- Preface
  Summary: There were 18 papers submitted for peer-review to this workshop. Out of these, 17 papers were accepted for this volume, 12 as regular papers, 3 as short papers, and 2 as abstracts.

- Improving LLM-based code completion using LR parsing-based candidates 1-6
  Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon
- Faster bivariate lexicographic Groebner bases modulo x^k 7-12
  Xavier Dahan
- Some applications of Chinese Remainder Theorem codes with error-correction 13-18
  Jesse Elliott, Eric Schost
- Functional decomposition of sparse polynomials (short talk abstract) 19-20
  Mark Giesbrecht
- Towards trajectory planning of a robot manipulator with computer algebra using Bézier curves for obstacle avoidance 21-27
  Ryo Hatakeyama, Akira Terui, Masahiko Mikawa
- Algebraic (non) relations among polyzetas 28-33
  Vincel Hoang Ngoc Minh
- An e-origami artwork of a big wing crane 34-45
  Tetsuo Ida
- The geometry of N-body orbits and the DFT (extended abstract) 46-50
  Patrick Ion
- Gröbner basis computation via learning 51-56
  Hiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
- Solving estimation problems using minimax polynomials and Gröbner bases 57-62
  Kenta Kuramochi, Akira Terui, Masahiko Mikawa
- First-order theorem proving with power maps in semigroups 63-73
  Yi Lin, Ranganathan Padmanabhan, Yang Zhang
- Software for indefinite integration 74-83
  Arthur C. Norman, David J. Jeffrey
- Towards trajectory planning for a 6-degree-of-freedom robot manipulator considering the orientation of the end-effector using computer algebra 84-91
  Takumu Okazaki, Akira Terui, Masahiko Mikawa
- Methods for solving the Post correspondence problem and certificate generation 92-98
  Omori Akihiro, Minamide Yasuhiko
- A stable computation of multivariarte apporximate GCD based on SVD and lifting technique 99-104
  Masaru Sanuki
- An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive Gröbner systems 105-112
  Yusuke Shirato, Natsumi Oka, Akira Terui, Masahiko Mikawa
- Reasoning about the embedded shape of a qualitatively represented curve 113-118
  Kazuko Takahashi

2024-08-11: submitted by Stephen M. Watt, metadata incl. bibliographic data published under Creative Commons CC0
2024-09-02: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|