default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SCSS 2024: Tokyo, Japan - Work in Progress
- Katsusuke Nabeshima, Stephen M. Watt:
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. CEUR Workshop Proceedings 3754, CEUR-WS.org 2024 - Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon:
Improving LLM-based code completion using LR parsing-based candidates. 1-6 - Xavier Dahan:
Faster bivariate lexicographic Groebner bases modulo xk. 7-12 - Jesse Elliott, Éric Schost:
Some applications of Chinese Remainder Theorem codes with error-correction. 13-18 - Mark Giesbrecht:
Functional decomposition of sparse polynomials (short talk abstract). 19-20 - Ryo Hatakeyama, Akira Terui, Masahiko Mikawa:
Towards trajectory planning of a robot manipulator with computer algebra using Bézier curves for obstacle avoidance. 21-27 - Vincel Hoang Ngoc Minh:
Algebraic (non) relations among polyzetas. 28-33 - Tetsuo Ida:
An e-origami artwork of a big wing crane. 34-45 - Patrick Ion:
The geometry of N-body orbits and the DFT (extended abstract). 46-50 - Hiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama:
Gröbner basis computation via learning. 51-56 - Kenta Kuramochi, Akira Terui, Masahiko Mikawa:
Solving estimation problems using minimax polynomials and Gröbner bases. 57-62 - Yi Lin, Ranganathan Padmanabhan, Yang Zhang:
First-order theorem proving with power maps in semigroups. 63-73 - Arthur C. Norman, David J. Jeffrey:
Software for indefinite integration. 74-83 - Takumu Okazaki, Akira Terui, Masahiko Mikawa:
Towards trajectory planning for a 6-degree-of-freedom robot manipulator considering the orientation of the end-effector using computer algebra. 84-91 - Akihiro Omori, Yasuhiko Minamide:
Methods for solving the Post correspondence problem and certificate generation. 92-98 - Masaru Sanuki:
A stable computation of multivariarte apporximate GCD based on SVD and lifting technique. 99-104 - Yusuke Shirato, Natsumi Oka, Akira Terui, Masahiko Mikawa:
An optimized path planning of manipulator with spline curves using real quantifier elimination based on comprehensive Gröbner systems. 105-112 - Kazuko Takahashi:
Reasoning about the embedded shape of a qualitatively represented curve. 113-118
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
