| Project/Area Number |
17500013
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Tokyo University of Science |
|---|
Principal Investigator |
SATO Yosuke Tokyo University of Science, Department of Mathematical Information Science, Professor, 理学部第一部, 教授 (50257820)
|
|---|
| Project Period (FY) |
2005 – 2006
|
| Project Status |
Completed (Fiscal Year 2006)
|
| Budget Amount *help |
¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2006: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2005: ¥600,000 (Direct Cost: ¥600,000)
|
|---|
| Keywords | ALGORITHM / ALGEBRA / SUMBOLIC COMPUTATION / ブール環 / Stability / グレブナー基底 |
|---|
| Research Abstract |
We developed our theory and implemented fast Comprehensive Grobner Bases computation algorithm. Our algorithm is so simple that we can implement on many computer algebra systems.
|
