Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 15 (Search time: 0.005 seconds).
Item hits:
BibliographyContents
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
  岩根, 秀直, 樋口, 博之, 穴井, 宏和 (2013-07)
  数理解析研究所講究録, 1843: 66-79
file type icon 
符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  岩根, 秀直, 穴井, 宏和, 屋並, 仁史 (2012-10)
  数理解析研究所講究録, 1815: 143-151
file type icon 
数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  岩根, 秀直, 穴井, 宏和, 屋並, 仁史 (2012-10)
  数理解析研究所講究録, 1814: 142-147
file type icon 
「東ロボくん, 代ゼミ模試に挑戦!」数学チームの結果について (数式処理とその周辺分野の研究)
  岩根, 秀直, 松崎, 拓也, 穴井, 宏和, 新井, 紀子 (2014-07)
  数理解析研究所講究録, 1907: 142-144
file type icon 
Formula Simplification for Real Quantifier Elimination (Developments in Computer Algebra Research)
  岩根, 秀直 (2014-12)
  数理解析研究所講究録, 1927: 77-88
file type icon 
「ロボットは東大に入れるか2014-東ロボくん,代ゼミ模試に挑戦-」数学チームの結果について (数式処理とその周辺分野の研究)
  岩根, 秀直, 松崎, 拓也, 深作, 亮也, 井上, 秀太郎, 佐藤, 洋祐, 穴井, 宏和, 新井, 紀子 (2015-07)
  数理解析研究所講究録, 1955: 142-145
file type icon 
包括的グレブナ基底系を利用した限量子消去 (数式処理とその周辺分野の研究)
  深作, 亮也, 岩根, 秀直, 佐藤, 洋祐 (2015-07)
  数理解析研究所講究録, 1955: 134-141
file type icon 
非等式制約に対する実閉体上の限量記号消去 (数式処理研究の新たな発展)
  岩根, 秀直 (2015-12)
  数理解析研究所講究録, 1976: 45-51
file type icon 
実閉体上の非冠頭標準形論理式に対する限量記号消去における部分論理式の処理順序と計算効率 (数式処理研究の新たな発展)
  小林, 宗広, 岩根, 秀直 (2015-12)
  数理解析研究所講究録, 1976: 31-44
file type icon 
先行順序付き合流可能運搬経路問題に対する局所探索法 (最適化手法の深化と広がり)
  吉良, 知文, 岩根, 秀直 (2012-01)
  数理解析研究所講究録, 1773: 77-86
file type icon