@techreport{weko_31929_1,
   author	 = "穴井宏和",
   title	 = "Symbolic optimization methods: nonconvex and parametric optimization by quantifier elimination",
   year 	 = "2003",
   institution	 = "（株）富士通研究所",
   number	 = "32(2002-AL-089)",
   month	 = "mar"
}