Login / Signup

Symbolic-numeric algorithms for computing validated results.

Lihong Zhi
Published in: ISSAC (2014)
Keyphrases