• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Final Research Report

Development of a practical algorithm to solve polynomial systems with parameters

Research Project

  • PDF
Project/Area Number 20500013
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionKobe University

Principal Investigator

SUZUKI Akira  Kobe University, 情報科学研究科, 研究員 (50330519)

Co-Investigator(Renkei-kenkyūsha) SATO Yosuke  東京理科大学, 理学部・第一部, 教授 (50257820)
Project Period (FY) 2008 – 2010
Keywordsアルゴリズム理論
Research Abstract

We can use Groebner basis in order to solve (non-liner) polynomial systems. If the systems contain parameters, the situation becomes extremely harder to solve them. We aimed to develop practical algorithm for such problem, and we provide several tools for them.

  • Research Products

    (10 results)

All 2011 2010 2009 2008 Other

All Presentation (9 results) Remarks (1 results)

  • [Presentation] グラフ表示を行うモバイルアプリのマルチプラットフォーム化2011

    • Author(s)
      鈴木晃
    • Organizer
      日本数式処理学会システム分科会
    • Place of Presentation
      福岡大学
    • Year and Date
      2011-01-23
  • [Presentation] スマートフォンならではのグラフ表示2010

    • Author(s)
      鈴木晃
    • Organizer
      数学ソフトウェアとフリードキュメント10
    • Place of Presentation
      慶應大学日吉キャンパス
    • Year and Date
      2010-03-23
  • [Presentation] Computing Boolean Groenber Bases within Linear Algebra2009

    • Author(s)
      鈴木晃
    • Organizer
      ASCM 2009, Fukuoka
    • Place of Presentation
      Japan
    • Year and Date
      2009-12-14
  • [Presentation] Computing Groenber Bases within Linear Algebra2009

    • Author(s)
      鈴木晃
    • Organizer
      Computer Algebra in Scientific Computing (CASC 2009)
    • Place of Presentation
      Kobe (Japan)
    • Year and Date
      2009-09-15
  • [Presentation] Computing Groenber Bases within Linear Algebra and Its Implementation2009

    • Author(s)
      鈴木晃
    • Organizer
      International Symposium on Symbolic and Algebraic Computation (ISSAC 2009; Poster)
    • Place of Presentation
      Seoul (Korea)
    • Year and Date
      2009-07-30
  • [Presentation] Groebner bases computation within linear algebra and its application to comprehensive Groebner systems2009

    • Author(s)
      鈴木晃
    • Organizer
      Application of Computer Algebra (ACA2009)
    • Place of Presentation
      Montreal (Canada)
    • Year and Date
      2009-06-25
  • [Presentation] 行列演算によるグレブナー基底計算とその実装2009

    • Author(s)
      鈴木晃
    • Organizer
      第18回日本数式処理学会大会
    • Place of Presentation
      龍谷大学
    • Year and Date
      2009-06-12
  • [Presentation] Implementation of CGS on small devices2008

    • Author(s)
      鈴木晃
    • Organizer
      Application of Computer Algebra (ACA2008)
    • Place of Presentation
      Linz (Austria)
    • Year and Date
      2008-07-29
  • [Presentation] Boolean Groebner Bases and Sudoku2008

    • Author(s)
      Yosuke Sato, Akira Suzuki
    • Organizer
      Shutaro Inoue and Katsusuke Nabeshima
    • Place of Presentation
      Application of Computer Algebra (ACA2008), Linz (Austria)
    • Year and Date
      2008-07-27
  • [Remarks] ホームページ等

URL: 

Published: 2012-01-26   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi