- 2024
- Akihiro Omori, Yasuhiko Minamide:
Methods for solving the Post correspondence problem and certificate generation. SCSS (Work in Progress) 2024: 92-98 - Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon:
Improving LLM-based code completion using LR parsing-based candidates. SCSS (Work in Progress) 2024: 1-6 - Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar:
Formal Analysis of Vehicular Crash Severity Using KeYmaera X. SCSS 2024: 1-19 - Xavier Dahan:
Faster bivariate lexicographic Groebner bases modulo xk. SCSS (Work in Progress) 2024: 7-12 - Elif Deniz, Adnan Rashid
, Osman Hasan, Sofiène Tahar:
Formal Verification of ABCD Parameters Based Models for Transmission Lines. SCSS 2024: 20-37 - Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat:
Certification of Sorting Algorithms Using Theorema and Coq. SCSS 2024: 38-56 - Dominique Duval, Rachid Echahed:
Symbolic Graph Query Solving. SCSS 2024: 96-113 - Jesse Elliott, Éric Schost:
Some applications of Chinese Remainder Theorem codes with error-correction. SCSS (Work in Progress) 2024: 13-18 - Mark Giesbrecht:
Functional decomposition of sparse polynomials (short talk abstract). SCSS (Work in Progress) 2024: 19-20 - Makoto Hamana:
Foundations of Haskell's Rewrite Rules Based on Higher-Kinded Polymorphic Rewrite Systems. SCSS 2024: 79-95 - Ryo Hatakeyama, Akira Terui, Masahiko Mikawa:
Towards trajectory planning of a robot manipulator with computer algebra using Bézier curves for obstacle avoidance. SCSS (Work in Progress) 2024: 21-27 - Tetsuo Ida:
An e-origami artwork of a big wing crane. SCSS (Work in Progress) 2024: 34-45 - Patrick Ion:
The geometry of N-body orbits and the DFT (extended abstract). SCSS (Work in Progress) 2024: 46-50 - David J. Jeffrey:
Riemann Surfaces, Branch Cuts and Charisma. SCSS 2024: 114-128 - Hiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama:
Gröbner basis computation via learning. SCSS (Work in Progress) 2024: 51-56 - Kenta Kuramochi, Akira Terui, Masahiko Mikawa:
Solving estimation problems using minimax polynomials and Gröbner bases. SCSS (Work in Progress) 2024: 57-62 - Yi Lin, Ranganathan Padmanabhan, Yang Zhang:
First-order theorem proving with power maps in semigroups. SCSS (Work in Progress) 2024: 63-73 - Vincel Hoang Ngoc Minh:
Algebraic (non) relations among polyzetas. SCSS (Work in Progress) 2024: 28-33 - Arthur C. Norman, David J. Jeffrey:
Software for indefinite integration. SCSS (Work in Progress) 2024: 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. SCSS (Work in Progress) 2024: 84-91 - Masaru Sanuki:
A stable computation of multivariarte apporximate GCD based on SVD and lifting technique. SCSS (Work in Progress) 2024: 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. SCSS (Work in Progress) 2024: 105-112 - Kazuko Takahashi:
Reasoning about the embedded shape of a qualitatively represented curve. SCSS (Work in Progress) 2024: 113-118 - Setsuo Takato, Hideyo Makishita:
A Method to Prove Japanese Theorems and Others Appeared in Wasan Using Maxima. SCSS 2024: 57-78 - Stephen M. Watt, Tetsuo Ida:
Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings. Lecture Notes in Computer Science 14991, Springer 2024, ISBN 978-3-031-69041-9 [contents] - 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 [contents] - 2021
- Dominique Duval, Rachid Echahed, Frédéric Prost:
Querying RDF Databases with Sub-CONSTRUCTs. SCSS 2021: 49-64 - Luis Berlioz:
ArGoT: A Glossary of Terms extracted from the arXiv. SCSS 2021: 14-21 - Yannick Chevalier, Michaël Rusinowitch:
Implementing Security Protocol Monitors. SCSS 2021: 22-34 - Ivan Fedotov, Anton Khritankov:
Statistical Model Checking of Common Attack Scenarios on Blockchain. SCSS 2021: 65-77
