IWANE Hidenao 岩根秀直

Researcher Number	00470360
Other IDs
Affiliation (based on the past Project Information) *help	2012: 富士通研究所, ソフトウェア技術研究所, 研究員
Review Section/Research Field	Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Except Principal Investigator 限量子消去 / グレブナ基底 / 限量記号消去 / 実代数幾何 / 記号的最適化手法 / パラメトリック最適化 / 記号・代数計算 / 数式融合計算 / 数値 / 最適化 / 数式処理

Developments ofcomputational theory of real algebraic geometry for optimization problem
- Principal Investigator
  
  ANAI Hirokazu
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu University

All 2013 2012 2011 2010 2009 Other

All Journal Article Presentation

[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: vol. 479 Pages: 43-69
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013
- Author(s)
  H.Iwane, H.Yanami, H.Anai, H.Yokoyama
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 479 Pages: 42-69
- DOI
  10.1016/j.tcs.2012.10.020
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] 符号情報利用による数値数式 CAD の効率的な実装,(Computer Algebra : Design of Algorithms, Implementations and Applications2012
- Author(s)
  岩根秀直 , 穴井宏和, 屋並仁史
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1815 Pages: 143-151
- NAID
  120005554194
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011
- Author(s)
  H. Iwane, H. Yanami, H. Anai
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 5(3) Pages: 315-334
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011
- Author(s)
  H.Iwane, H.Yanami, H.Anai
- Journal Title
  
  Mathematics in Computer Science (MCS)
  
  Volume: 5-3 Issue: 3 Pages: 315-334
- DOI
  10.1007/s11786-011-0097-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] An Effective Implementation of a Symbolic-Numeric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H.Iwane, et al.
- Journal Title
  
  Proceedings of the 3rd International Workshop on Symbolic-Numeric Computation 2009
  
  Pages: 56-64
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Journal Article] A Symbolic-Numeric Approach to Some Classes of Parametric Optimization Problems for Manufacturing Design2009
- Author(s)
  H.Iwane, et al.
- Journal Title
  
  Proceedings of the 9th Asian Symposium on Computer Mathematics 2009
  
  Pages: 63-66
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] 論理関数処理を用いた論理式の簡単化2012
- Author(s)
  岩根秀直, 樋口博之, 穴井宏和
- Organizer
  Risa/Asir Conference 2012+第4回六甲博多計算代数会議
- Place of Presentation
  神戸大学
- Year and Date
  2012-03-20
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] On parametric optimization techniques for solving recursive formulas2011
- Author(s)
  吉良知文, 岩根秀直, 穴井宏和
- Organizer
  「不確実環境下での柔構造最適化モデリング」第7回研究会
- Year and Date
  2011-01-29
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] On parametric optimization techniques for solving recursive formulas2011
- Author(s)
  吉良知文、岩根秀直、穴井宏和
- Organizer
  「不確実環境下での柔構造最適化モデリング」第7回研究会
- Place of Presentation
  神奈川大学
- Year and Date
  2011-01-29
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition2011
- Author(s)
  H.Iwane, A.Kira, H.Anai
- Organizer
  Computer Algebra in Scientific Computing
- Place of Presentation
  Kassel, Germany
- Year and Date
  2011-09-05
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] SyNRAC-A Maple Toolbox for Solving Real Algebraic Constraints2010
- Author(s)
  H.Iwane, H.Yanami, H.Anai
- Organizer
  The Third International Congress on Mathematical Software (ICMS2010)
- Place of Presentation
  神戸大学
- Year and Date
  2010-09-16
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] partial CADの改良2010
- Author(s)
  岩根秀直、屋並仁史、穴井宏和
- Organizer
  京都大学数理解析研究所研究集会CA-ALIAS 2010
- Place of Presentation
  京都大学
- Year and Date
  2010-12-03
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] CADにおけるi-projection operator導入によるQEの効率化2010
- Author(s)
  岩根秀直、穴井宏和、屋並仁史
- Organizer
  日本数式処理学会大会
- Place of Presentation
  名古屋大学
- Year and Date
  2010-06-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] CAD における i-projection operator 導入による QE の効率化2010
- Author(s)
  岩根秀直, 穴井宏和, 屋並仁史
- Organizer
  日本数式処理学会大会
- Year and Date
  2010-06-12
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Organizer
  3rd International Workshop on Symbolic-Numeric Computation (SNC)
- Year and Date
  2009-08-04
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] An Effective Implementation of Symbolic-Nuneric Cylindrical Algebraic Decomposition for Quantifier Elimination2009
- Author(s)
  H. Iwane, H. Yanami, H. Anai, K. Yokoyama
- Organizer
  3rd International Workshop on Symbolic-Numeric Computation (SNC) 2009
- Year and Date
  2009-08-04
- Data Source
  KAKENHI-PROJECT-21340025
[Presentation] Sign Definite Condition 専用 Quantifier Elimination の実装高速化のための論理式の簡単化
- Author(s)
  岩根秀直、樋口博之、穴井宏和
- Organizer
  第２１回日本数式処理学会大会
- Place of Presentation
  山口大学
- Data Source
  KAKENHI-PROJECT-21340025

1. ANAI Hirokazu (20417520)

# of Collaborated Projects: 1 results

# of Collaborated Products: 16 results
2. YOKOYAMA Kazuhiro (30333454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
3. YANAMI Hitoshi (70417533)

# of Collaborated Projects: 1 results

# of Collaborated Products: 11 results

IWANE Hidenao 岩根 秀直

Research Projects

Research Products

Co-Researchers

Developments ofcomputational theory of real algebraic geometry for optimization problem

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013

Author(s)

Journal Title

Data Source

[Journal Article] An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination2013

Author(s)

Journal Title

DOI

Data Source

[Journal Article] 符号情報利用による数値数式 CAD の効率的な実装,(Computer Algebra : Design of Algorithms, Implementations and Applications2012

Author(s)

Journal Title

NAID

Data Source

[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011

Author(s)

Journal Title

Data Source

[Journal Article] A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design2011

Author(s)

Journal Title

DOI

Data Source

[Journal Article] An Effective Implementation of a Symbolic-Numeric Cylindrical Algebraic Decomposition for Quantifier Elimination2009

Author(s)

Journal Title

Data Source

[Journal Article] A Symbolic-Numeric Approach to Some Classes of Parametric Optimization Problems for Manufacturing Design2009

Author(s)

Journal Title

Data Source

[Presentation] 論理関数処理を用いた論理式の簡単化2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] On parametric optimization techniques for solving recursive formulas2011

Author(s)

Organizer

Year and Date

Data Source

[Presentation] On parametric optimization techniques for solving recursive formulas2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] SyNRAC-A Maple Toolbox for Solving Real Algebraic Constraints2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] partial CADの改良2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] CADにおけるi-projection operator導入によるQEの効率化2010

Author(s)

Organizer

Place of Presentation

IWANE Hidenao 岩根秀直