Login / Signup

Program Verification by Reduction to Semi-algebraic Systems Solving.

Bican XiaLu YangNaijun Zhan
Published in: ISoLA (2008)
Keyphrases
  • database
  • management system
  • semi algebraic
  • data analysis
  • high dimensional