• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 18 matches

• 2024
• 
  Omori Akihiro, Minamide Yasuhiko:
  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
• 
  Xavier Dahan:
  Faster bivariate lexicographic Groebner bases modulo x^k. SCSS (Work in Progress) 2024: 7-12
• 
  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
• 
  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
• 
  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
• 
  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]