I agree that this site is using cookies. You can find further informations here.
X
Anai, Hirokazu
3  results:
Print X
Search for persons X
?
1

Reach set computation using real quantifier elimination 

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 0012
Anai, Hirokazu , 2000
Copies:  Zentrale:Magazin bc 1079-2000,12
 
?
2

Deciding linear-trigonometric problems 

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 0001
Anai, Hirokazu , 2000
Copies:  Zentrale:Magazin bc 1079-2000,1
 
?
3

A robust control system design by a special quantifier elim.. 

MIP / Universität Passau Fakultät für Mathematik und Informatik ; 0004
Anai, Hirokazu , 2000
Copies:  Zentrale:Magazin bc 1079-2000,4
 
1-3