About this scholarly article

Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - Verification and synthesis using real quantifier elimination by Sturm, Thomas; Tiwari, Ashish is a scholarly article available to read on EtoBox.

Author

Sturm, Thomas; Tiwari, Ashish

Publisher

ACM Press

Published

2011