SCSS 2024 WiP

Table of Contents

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