Showing results 2 to 2 of 2
Towards vector calculus in exact real computation Park, Chansu; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.38 - 39, KAIST School of Computing, 2017-07 |
Discover