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

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