Login / Signup
Program Verification by Reduction to Semi-algebraic Systems Solving.
Bican Xia
Lu Yang
Naijun Zhan
Published in:
ISoLA (2008)
Keyphrases
</>
database
management system
semi algebraic
data analysis
high dimensional