SUZUKI Akira 鈴木晃

Researcher Number	50330519
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2010: 名古屋大学, 情報科学研究科, 共同研究員 2010: Kobe University, 情報科学研究科, 研究員 2007 – 2009: Kobe University, Administrative Office, Assistant Professor 2005 – 2006: 神戸大学, 情報管理室, 助手 2005 – 2006: 神戸大学, 自然科学研究科, 助手 2003 – 2004: 神戸大学, 大学院・自然科学研究科, 助手
Review Section/Research Field	Principal Investigator Fundamental theory of informatics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 代数学 / グレブナー基底 / 媒介変数 / アルゴリズム / アルゴリズム理論 Except Principal Investigator CGB / modular computation / polynomial system / Hvnereeometric equation / Mathematical Software … More / Algebraic extension / F4 algorithm / Groebner Basis / dynamic evaluation / パラメタ / 計算代数 / 数式処理 / 斉次化 / F_4 / modular計算 / 代数方程式 / 超幾何方程式 / 数学ソフトウェア / 代数拡大 / F4アルゴリズム / グレブナー基底 / Cardinal Invariants of the Continuum / Descriptive Set Theory / Infinitary Combinatorics / Forcing Theory / Set Theory / Topology / Foundations of Mathematics / 実数上の集合論 / 無限組み合わせ論 / 連続体の基数不変量 / 記述集合論 / 無限組合せ論 / 強制法の理論 / 集合論 / トポロジー / 数学基礎論 Less

Development of a practical algorithm to solve polynomial systems with parametersPrincipal Investigator
- Principal Investigator
  
  SUZUKI Akira
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kobe University
媒介変数を伴うグレブナー基底を計算する実用的アルゴリズムの開発Principal Investigator
- Principal Investigator
  
  鈴木晃
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kobe University
Development of efficient algorithms and software for solving parametric systems
- Principal Investigator
  
  NORO Masayuki
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
Development of new iteration techniques for forcing
- Principal Investigator
  
  BRENDLE Joerg
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University

All 2011 2010 2009 2008 2007 2006 2005 2004 2003

All Journal Article Presentation

[Journal Article] パラメーターを含む多項式剰余環における逆元の計算について2008
- Author(s)
  佐藤洋祐, 向田康平, 井上秀太郎, 鈴木晃
- Journal Title
  
  数式処理Bulletin of JSSAC (2008) 15-2
  
  Pages: 132-134
- NAID
  10023902629
- Data Source
  KAKENHI-PROJECT-20500013
[Journal Article] グレブナー基底を用いた包括的グレブナー基底計算2007
- Author(s)
  鈴木晃
- Journal Title
  
  数式処理J.JSSAC 14(1)
  
  Pages: 17-23
- NAID
  10019840464
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700017
[Journal Article] グレブナー基底を用いた包括グーレブナー基底計算2006
- Author(s)
  鈴木晃
- Journal Title
  
  CA-ALIAS 2005(京大数理解析研究所講究録) 1514
  
  Pages: 132-137
- Data Source
  KAKENHI-PROJECT-17700017
[Journal Article] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006
- Author(s)
  Akira Suzuki
- Journal Title
  
  Proceedings of ISSAC 2006
  
  Pages: 326-331
- Data Source
  KAKENHI-PROJECT-17700017
[Journal Article] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006
- Author(s)
  A. Suzuki, Y. Sato
- Journal Title
  
  Proc. ISSAC2006(ACM Press)
  
  Pages: 326-331
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17340028
[Journal Article] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006
- Author(s)
  A.Suzuki
- Journal Title
  
  Proceedings of ISSAC2006
  
  Pages: 326-331
- Data Source
  KAKENHI-PROJECT-17340028
[Journal Article] Full Comprehensive Groebner Bases (extended abstract)2005
- Author(s)
  Akira Suzuki
- Journal Title
  
  Proceedings of the A3L 2005
  
  Pages: 249-252
- Data Source
  KAKENHI-PROJECT-17700017
[Journal Article] Computation of Full Comprehensive Groebner Bases2005
- Author(s)
  A.Suzuki
- Journal Title
  
  Lecture Notes in Computer Science 3718
  
  Pages: 431-444
- Data Source
  KAKENHI-PROJECT-17340028
[Journal Article] Computation of Comprehensive Groebner Systems using Groebner Bases and Prime Ideal Decompositions2005
- Author(s)
  Akira Suzuki
- Journal Title
  
  Proceedings of the Seventh Asian Symposium on Computer Mathematics (ASCM 2005)
  
  Pages: 149-152
- Data Source
  KAKENHI-PROJECT-17700017
[Journal Article] Computation of Full Comprehensive Groebner Bases2005
- Author(s)
  Akira Suzuki
- Journal Title
  
  Lecture Notes in Computer Science 3718
  
  Pages: 431-444
- Data Source
  KAKENHI-PROJECT-17700017
[Journal Article] Comprehensive Groebner bases via ACGB2004
- Author(s)
  AKIRA SUZUKI
- Journal Title
  
  Proceedings of the 10^<th> International Conference on Applications of Computer Algebra
  
  Pages: 65-73
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540120
[Journal Article] Comprehensive Gwobner bases via ACGB2004
- Author(s)
  AKIRA SUZUKI
- Journal Title
  
  Proceedings of the 10th International Conference on Applications of Computer Algebra
  
  Pages: 65-73
- Data Source
  KAKENHI-PROJECT-15540120
[Journal Article] Comprehensive Groebner bases via ACGB2004
- Author(s)
  Akira Suzuki
- Journal Title
  
  Proceedings of the 10^<th> International Conference on Applications of Computer Algebra
  
  Pages: 65-73
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540120
[Journal Article] An alternative approach to comprehensive Groebner bases2003
- Author(s)
  AKIRA SUZUKI
- Journal Title
  
  Journal of Symbolic Computation 36
  
  Pages: 649-667
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540120
[Journal Article] An alternative approach to comprehensive Groebner bases2003
- Author(s)
  Akira Suzuki
- Journal Title
  
  Journal of Symbolic Computation 36
  
  Pages: 649-667
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540120
[Presentation] グラフ表示を行うモバイルアプリのマルチプラットフォーム化2011
- Author(s)
  鈴木晃
- Organizer
  日本数式処理学会システム分科会
- Place of Presentation
  福岡大学
- Year and Date
  2011-01-23
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] グラフ表示を行なうモバイルアプリのマルチプラットフォーム化2011
- Author(s)
  鈴木晃
- Organizer
  第3回日本数式処理学会システム分科会研究会
- Place of Presentation
  福岡大学理学部
- Year and Date
  2011-01-23
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] スマートフォンならではのグラフ表示2010
- Author(s)
  鈴木晃
- Organizer
  数学ソフトウェアとフリードキュメント10
- Place of Presentation
  慶應大学日吉キャンパス
- Year and Date
  2010-03-23
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Computing Gr obner Bases within Linear Algebra and Its Implementation2009
- Author(s)
  Akira Suzuki
- Organizer
  ISSAC 2009(Poster)
- Place of Presentation
  ソウル(韓国)
- Year and Date
  2009-07-30
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Computing Gr obner Bases within Linear Algebra2009
- Author(s)
  Akira Suzuki
- Organizer
  CASC 2009
- Place of Presentation
  神戸大学(兵庫県)
- Year and Date
  2009-09-15
- Data Source
  KAKENHI-PROJECT-20500013
[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
- Data Source
  KAKENHI-PROJECT-20500013
[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
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Computation of Inverses in Residue Class Rings of Parametric Polynomial Ideals2009
- Author(s)
  Yosuke Sato, Akira Suzuki
- Organizer
  ISSAC 2009
- Place of Presentation
  ソウル(韓国)
- Year and Date
  2009-07-29
- Data Source
  KAKENHI-PROJECT-20500013
[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
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] 行列演算によるグレブナー基底計算とその実装2009
- Author(s)
  鈴木晃
- Organizer
  第18回日本数式処理学会大会
- Place of Presentation
  龍谷大学
- Year and Date
  2009-06-12
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Computing Boolean Groenber Bases within Linear Algebra2009
- Author(s)
  鈴木晃
- Organizer
  ASCM 2009, Fukuoka
- Place of Presentation
  Japan
- Year and Date
  2009-12-14
- Data Source
  KAKENHI-PROJECT-20500013
[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
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Computation of Inverses in Residue Class Rings with Parameters2008
- Author(s)
  S. Inoue, K. Mukaida, A. Suzuki, Y. Sato
- Organizer
  ISSAC 2008 (Poster)
- Place of Presentation
  Linz (オーストリア)
- Year and Date
  2008-07-22
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Implementation of CGS on small devices2008
- Author(s)
  Akira Suzuki
- Organizer
  Applications for Computer Algebra 2008
- Place of Presentation
  Linz (オーストリア)
- Year and Date
  2008-07-29
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Boolean Groebner Bases and Sudoku2008
- Author(s)
  Y. Sato, A. Suzuki, S. Inoue, K. Nabeshima
- Organizer
  Applications for Computer Algebra 2008
- Place of Presentation
  Linz (オーストリア)
- Year and Date
  2008-07-27
- Data Source
  KAKENHI-PROJECT-20500013
[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
- Data Source
  KAKENHI-PROJECT-20500013
[Presentation] Implementations of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm2007
- Author(s)
  Akira Suzuki
- Organizer
  ISSAC 2007 (Software Exhibitions)
- Place of Presentation
  Waterloo(カナダ)
- Year and Date
  2007-07-30
- Data Source
  KAKENHI-PROJECT-17700017

1. SATO Yosuke (50257820)

# of Collaborated Projects: 2 results

# of Collaborated Products: 6 results
2. BRENDLE Joerg (70301851)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. FUCHINO Sakae (30292098)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. NORO Masayuki (50332755)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. TAKAYAMA Nobuki (30188099)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. YOKOYAMA Kazuhiro (30333454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. OHARA Katsuyoshi (00313635)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SUZUKI Akira 鈴木 晃

Research Projects

Research Products

Co-Researchers

Development of a practical algorithm to solve polynomial systems with parametersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

媒介変数を伴うグレブナー基底を計算する実用的アルゴリズムの開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of efficient algorithms and software for solving parametric systems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of new iteration techniques for forcing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] パラメーターを含む多項式剰余環における逆元の計算について2008

Author(s)

Journal Title

NAID

Data Source

[Journal Article] グレブナー基底を用いた包括的グレブナー基底計算2007

Author(s)

Journal Title

NAID

Data Source

[Journal Article] グレブナー基底を用いた包括グーレブナー基底計算2006

Author(s)

Journal Title

Data Source

[Journal Article] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006

Author(s)

Journal Title

Data Source

[Journal Article] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006

Author(s)

Journal Title

Data Source

[Journal Article] Full Comprehensive Groebner Bases (extended abstract)2005

Author(s)

Journal Title

Data Source

[Journal Article] Computation of Full Comprehensive Groebner Bases2005

Author(s)

Journal Title

Data Source

[Journal Article] Computation of Comprehensive Groebner Systems using Groebner Bases and Prime Ideal Decompositions2005

Author(s)

Journal Title

Data Source

[Journal Article] Computation of Full Comprehensive Groebner Bases2005

Author(s)

Journal Title

Data Source

[Journal Article] Comprehensive Groebner bases via ACGB2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] Comprehensive Gwobner bases via ACGB2004

Author(s)

Journal Title

Data Source

SUZUKI Akira 鈴木晃