Browse "School of Computing(전산학부)" by Author Ziegler, Martin A.
Showing results 1 to 16 of 16
| Average-Case Bit-Complexity Theory of Real Functions Ziegler, Martin A.; Schröder, Matthias; Steinberg, Florian, 6th International Conference on Mathematical Aspects of Computer and Information Sciences, pp.505 - 519, Springer International Publishing, 2015-11-12 |
| Average-Case Polynomial-Time Computability of Hamiltonian Dynamics Thies, Holger; Kawamura, Akitoshi; Ziegler, Martin A., 43rd International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl – Leibniz Center for Informatics, 2018-08-31 |
| Avi Wigderson’s work linking between Mathematics and Computation Ziegler, Martin A., KIAS Horizon, v.17920, 2021-06 |
| Computability of the Solutions to Navier-Stokes Equations via Effective Approximation Sun, Shu-Ming; Zhong, Ning; Ziegler, Martin A., International Workshop on Complexity and Approximation, 2019, pp.80 - 112, Springer International Publishing, 2019-04 |
| Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy Kawamura, Akitoshi; Mueller, Norbert; Roesnick, Carsten; Ziegler, Martin A., JOURNAL OF COMPLEXITY, v.31, no.5, pp.689 - 714, 2015-10 |
| Computational Complexity of Quantum Satisfiability Herrmann, Christian; Ziegler, Martin A., JOURNAL OF THE ACM, v.63, no.2, 2016-05 |
| Computational Complexity of Real Powering and Improved Solving Linear Differential Equations Koswara, Ivan; Selivanova, Svetlana; Ziegler, Martin A., 14th International Computer Science Symposium in Russia, pp.215 - 227, Springer International Publishing, 2019-07-05 |
| Computing Haar Measures Pauly, Arno; Ziegler, Martin A.; Seo, Dongseong, 28th International Conference on Computer Science Logic, European Association for Computer Science Logic, 2020-01-15 |
| Computing Periods... Cho, Junhee; Park, Sewon; Ziegler, Martin A., 12th International Conference and Workshop on Algorithms and Computation (WALCOM), pp.132 - 143, Springer International Publishing, 2018-03-04 |
| Exact Real Computation of Solution Operators for Linear Analytic Systems of Partial Differential Equations Selivanova, Svetlana; Steinberg, Florian; Thies, Holger; Ziegler, Martin A., 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, pp.370 - 390, Springer Science and Business Media Deutschland GmbH, 2021-09 |
| 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
Open Access
- 187 OA Article
Date issued
- 1,769 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989