![](/img/cover-not-exists.png)
[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc
Davenport, James H., Bradford, Russell, England, Matthew, Wilson, DavidYear:
2012
Language:
english
DOI:
10.1109/synasc.2012.68
File:
PDF, 325 KB
english, 2012