Speeding Up of symbolic computation and its application to solving industrial problems 4
| Reference No. | 2026a010 |
|---|---|
| Type/Category | Grant for Young Researchers and Students-Short-term Joint Research |
| Title of Research Project | Speeding Up of symbolic computation and its application to solving industrial problems 4 |
| Principal Investigator | Yuki Ishihara（Nihon University, College of Science and Technology, Department of Mathematics・Assistant Professor） |
| Research Period | |
| Keyword(s) of Research Fields | Symbolic Computation (Computer Algebra), Groebner Basis, Quantifier Elimination, Mathematical Optimization, Real Algebraic Geometry, Primary Decomposition, Symbolic-Numeric Computation, Nonlinear Control Theory, Mathematical Modeling |
| Abstract for Research Report |
Symbolic computation is a method for rigorously manipulating mathematical expressions and formulas, enabling the analysis of algebraic structures and the establishment of theoretical guarantees that are difficult to achieve through numerical computation. However, many representative algorithms-such as Groebner basis computation and quantifier elimination (QE)-have exponential worst-case time complexity, which poses significant challenges in terms of computational cost and scalability when applied to real-world problems. This research is a continuation of the joint research project series, "Speeding Up of symbolic computation and its application to solving industrial problems," conducted from FY2023 to FY2025. Building on previous efforts, the project aims to further improve existing symbolic computation techniques and address practical problems arising in industry. In earlier stages, researchers from diverse fields-including computer algebra, cryptography, statistics, optimization theory, control theory, machine learning, and mathematical modeling-collaborated extensively. Their work led to active discussions and tangible outcomes from both theoretical and applied perspectives, such as accelerating Groebner basis computation using machine learning, applying symbolic computation to optimization and control problems, and analyzing the structure of neural networks. In FY2026, we will further advance these achievements by refining and systematizing symbolic computation methods with a strong focus on concrete industrial and societal challenges. In addition, through discussions and invited lectures involving experts from industry and research institutions, we will strengthen the framework for bridging theoretical results to practical applications. We will also promote the evaluation and improvement of algorithms under real data and realistic constraints. As a long-term goal beyond FY2027, we aim to disseminate the research results widely through journal publications and presentations at domestic and international conferences and workshops, thereby contributing not only to the academic community but also to new breakthroughs in industry. The two primary expected outcomes of this research are as follows: 1.Acceleration of symbolic computation algorithms directly linked to concrete industrial challenges 2.Creation of new symbolic computation approaches leveraging machine learning and related techniques |
| Organizing Committee Members (Workshop) Participants (Short-term Joint Usage) |
Yuki Ishihara（Nihon University, College of Science and Technology・Assistant Professor） Ryoya Fukasaku（Kyushu University, Faculty of Mathematics・Assistant Professor） Yasuhiko Ikematsu（Kyushu University, Institute of Mathematics for Industry・Associate Professor） Yuta Kambe（Mitsubishi Electric Information Technology R&D Center・Researcher） Hidenao Iwane（Reading Skill Test, Inc.・Employee） Masaru Ito（Nihon University, College of Science and Technology・Associate Professor） Munehiro Kobayashi（Schilf Institute Co., Ltd.・Representative Director） Tsuyoshi Yuno（Kyushu University, Faculty of Information Science and Electrical Engineering・Assistant Professor） Hiroshi Kera（Chiba University, Institute for Advanced Academic Research / National Institute of Informatics・Assistant Professor / Project Researcher） Tomoyuki Iori（Japan Aerospace Exploration Agency, Space Tracking and Communications Center・Researcher） Mizuka Komatsu（Kobe University, Graduate School of System Informatics / RIKEN・Associate Professor / Visiting Researcher） Tonan Kamata（Japan Advanced Institute of Science and Technology・Assistant Professor） |