Showing results 11 to 16 of 16
On Computability of Navier-Stokes’ Equation Ziegler, Martin A.; Sun, Shu Ming; Zhong, Ning, 11th Conference on Computability in Europe(CiE), pp.334 - 342, Springer International Publishing, 2015-07-02 |
On the computational complexity of the Dirichlet Problem for Poisson's Equation Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin A., MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.27, no.8, pp.1437 - 1465, 2017-12 |
Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014 Bauer, Andrej; Berger, Ulrich; Fouche, Willem; Spreen, Dieter; Tsuiki, Hideki; Ziegler, Martin A., JOURNAL OF LOGIC AND ANALYSIS, v.9, 2017-04 |
Relative computability and uniform continuity of relations Pauly, Arno; Ziegler, Martin A., Journal of Logic and Analysis, v.5, no.7, pp.1 - 39, 2013 |
Reliable diagonalization of degenerate matrices Park, Sewon; Ziegler, Martin A., 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.40 - 41, KAIST School of Computing, 2017-07 |
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis Ziegler, Martin A.; Kawamura, Akitoshi; Steinberg, Florian, 12th Conference on Computability in Europe, pp.142 - 152, Springer International Publishing, 2016-06-28 |
Discover