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

Study of parametric system of equations for singularity theory

Research Project

Project/Area Number 25800029
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeMulti-year Fund
Research Field Algebra
Research InstitutionKyushu University

Principal Investigator

Shibuta Takafumi  九州大学, マス・フォア・インダストリ研究所, 助教 (40648200)

Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2013: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Keywords標準基底 / 代数的局所コホモロジー / マトリス双対 / アルゴリズム / 計算機代数 / 局所可換環論 / パラメトリック方程式系 / 計算代数 / 可換環論 / 孤立特異点 / 局所コホモロジー / 偏微分方程式系
Outline of Final Research Achievements

In this research, the theory of Matlis duality with term orders over regular local rings was developed. Based on the theory, a new algorithm it for computing the holonomic system consisting of the linear differential operators of order at most n that vanishes a given algebraic local cohomology class was presented. An algebraic algorithm based on toric ideal theory for solving parametric linear integral programming was also presented.

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • Research Products

    (12 results)

All 2016 2015 2014 2013

All Journal Article (2 results) (of which Peer Reviewed: 2 results,  Acknowledgement Compliant: 2 results) Presentation (10 results) (of which Int'l Joint Research: 2 results)

  • [Journal Article] An algorithm for solving parametric integer program2015

    • Author(s)
      Norie Fu, Takafumi Shibuta
    • Journal Title

      Electronic Notes in Discrete Mathematics

      Volume: 50 Pages: 299-305

    • DOI

      10.1016/j.endm.2015.07.050

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] An Algorithm for Computing the Truncated Annihilating Ideals for an Algebraic Local Cohomology Class2014

    • Author(s)
      Takafumi Shibuta, Shinichi Tajima
    • Journal Title

      Lecture Notes in Computer Science

      Volume: LNCS 8660 Pages: 447-459

    • DOI

      10.1007/978-3-319-10515-4_32

    • ISBN
      9783319105147, 9783319105154
    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] マトリス双対を用いた加群の標準基底の計算2016

    • Author(s)
      渋田敬史
    • Organizer
      日本数学会2016年度年会
    • Place of Presentation
      筑波大学
    • Year and Date
      2016-03-16
    • Related Report
      2015 Annual Research Report
  • [Presentation] 整数計画問題の周期性と先頭項イデアルのCohen-Macaulay性2016

    • Author(s)
      渋田敬史
    • Organizer
      グレブナ―若手集会
    • Place of Presentation
      東海大学
    • Year and Date
      2016-02-16
    • Related Report
      2015 Annual Research Report
  • [Presentation] An algorithm for parametric integer programming2015

    • Author(s)
      Takafumi Shibuta
    • Organizer
      The International Congress on Industrial and Applied Mathematics 2015
    • Place of Presentation
      Beijing, China
    • Year and Date
      2015-08-10
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An algorithm for solving parametric integer programming2015

    • Author(s)
      Takafumi Shibuta
    • Organizer
      The VIII Latin-American Algorithms, Graphs and Optimization Symposium
    • Place of Presentation
      Fortaleza, Brazil
    • Year and Date
      2015-05-11
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] An algorithm for computing the truncated annihilating ideals for an algebraic local cohomology class2014

    • Author(s)
      Takafumi Shibuta
    • Organizer
      Computer Algebra in Scientific Computing, CASC 2014
    • Place of Presentation
      Warsaw University of Life Sciences, Warsaw, Poland
    • Year and Date
      2014-09-08 – 2014-09-12
    • Related Report
      2014 Research-status Report
  • [Presentation] パラメタを含む代数的コホモロジー類の満たす偏微分方程式系の計算 アルゴリズムとその実装2014

    • Author(s)
      渋田敬史
    • Organizer
      Risa/Asir Conference 2014
    • Place of Presentation
      神戸大学, 兵庫県
    • Related Report
      2013 Research-status Report
  • [Presentation] Multiplier ideals and test ideals of complete intersection binomial ideals2013

    • Author(s)
      Takafumi Shibuta
    • Organizer
      The Commutative Algebra of Singularities in Birational Geometry: Multiplier Ideals, Jets, Valuations, and Positive Characteristic Methods
    • Place of Presentation
      MSRI, Berkeley, CA, USA
    • Related Report
      2013 Research-status Report
  • [Presentation] 同じ多重次数ヒル ベルト関数を持つ単項式イデアルについて2013

    • Author(s)
      渋田敬史
    • Organizer
      福岡・山口可換環論セミナー
    • Place of Presentation
      山口大学, 山口県
    • Related Report
      2013 Research-status Report
  • [Presentation] 単調論理関数双対化を用いたパラメトリック整数計画アルゴリズムについて2013

    • Author(s)
      夫紀恵, 渋田敬史
    • Organizer
      コンピュテーション研究会
    • Place of Presentation
      奈良女子大学, 奈良県
    • Related Report
      2013 Research-status Report
  • [Presentation] パラメタを含む代数的局所コホモロジー類の満たす偏微分方程式系2013

    • Author(s)
      渋田敬史, 田島 慎一
    • Organizer
      数式処理とその周辺分野の研究
    • Place of Presentation
      京都大学数理解析研究所, 京都
    • Related Report
      2013 Research-status Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi