Abstract is missing.
- Improving LLM-based code completion using LR parsing-based candidatesMd Monir Ahammod Bin Atique, Kwanghoon Choi 0001, Isao Sasano, Hyeon-Ah Moon. 1-6 [doi]
- kXavier Dahan. 7-12 [doi]
- Some applications of Chinese Remainder Theorem codes with error-correctionJesse Elliott, Éric Schost. 13-18 [doi]
- Functional decomposition of sparse polynomials (short talk abstract)Mark Giesbrecht. 19-20 [doi]
- Towards trajectory planning of a robot manipulator with computer algebra using Bézier curves for obstacle avoidanceRyo Hatakeyama, Akira Terui, Masahiko Mikawa. 21-27 [doi]
- Algebraic (non) relations among polyzetasVincel Hoang Ngoc Minh. 28-33 [doi]
- An e-origami artwork of a big wing craneTetsuo Ida. 34-45 [doi]
- The geometry of N-body orbits and the DFT (extended abstract)Patrick Ion. 46-50 [doi]
- Gröbner basis computation via learningHiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama. 51-56 [doi]
- Solving estimation problems using minimax polynomials and Gröbner basesKenta Kuramochi, Akira Terui, Masahiko Mikawa. 57-62 [doi]
- First-order theorem proving with power maps in semigroupsYi Lin, Ranganathan Padmanabhan, Yang Zhang. 63-73 [doi]
- Software for indefinite integrationArthur C. Norman, David J. Jeffrey. 74-83 [doi]
- Towards trajectory planning for a 6-degree-of-freedom robot manipulator considering the orientation of the end-effector using computer algebraTakumu Okazaki, Akira Terui, Masahiko Mikawa. 84-91 [doi]
- Methods for solving the Post correspondence problem and certificate generationOmori Akihiro, Minamide Yasuhiko. 92-98 [doi]
- A stable computation of multivariarte apporximate GCD based on SVD and lifting techniqueMasaru Sanuki. 99-104 [doi]
- An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive Gröbner systemsYusuke Shirato, Natsumi Oka, Akira Terui, Masahiko Mikawa. 105-112 [doi]
- Reasoning about the embedded shape of a qualitatively represented curveKazuko Takahashi. 113-118 [doi]