国際会議 2013年8月1日 Bounded Symbolic-Numeric Cylindrical Algebraic Decomposition for Solving Optimization Problems SIAM Conference on Applied Algebraic Geometry (AG13) 岩根秀直, 穴井宏和 記述言語 英語 会議種別 口頭発表(一般) リンク情報 URLhttp://meetings.siam.org/sess/dsp_talk.cfm?p=57545