next up previous
Next: Introduction

Solving LMI and BMI Problems by Quantifier Elimination

HIROKAZU ANAI
e-mail:anai@flab.fujitsu.co.jp
High Performance Computing Research Center,
FUJITSU LABORATORIES LTD.
1-1 Kamikodanaka 4-Chome, Nakahara-ku, Kawasaki 211-8588, Japan

Full paper in compressed Postscript *.ps.gz


 

IMACS ACA'98 Electronic Proceedings