Browse "CS-Conference Papers(학술회의논문)" by Author Ziegler, Martin A

Showing results 1 to 6 of 6

1
Complexity Theory of (Functions on) Compact Metric Spaces

Ziegler, Martin A, 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, pp.837 - 846, Institute of Electrical and Electronics Engineers Inc., 2016-07-08

2
Computable operations on compact subsets of metric spaces with applications to fréchet distance and shape optimization

Park, Chansu; Park, Ji-Won; Park, Sewon; Seon, Dongseong; Ziegler, Martin A, 14th International Conference on Computability and Complexity in Analysis, CCA 2017, pp.37, KAIST School of Computing, 2017-07

3
Computer Science for Continuous Data Survey, Vision, Theory, and Practice of a Computer Algebra Analysis System

Brauße, Franz; Collins, Pieter; Ziegler, Martin A, 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, pp.62 - 82, Springer Science and Business Media Deutschland GmbH, 2022-08

4
On formal verification in imperative multivalued programming over continuous data types

Müller, Norbert; Park, Sewon; Preining, Norbert; Ziegler, Martin A, 13th International Conference on Computability and Complexity in Analysis, CCA 2016, pp.35 - 38, University of Algarve, 2016-06

5
On the computational complexity of positive linear functionals on C[0;1]

Ziegler, Martin A; Férée, Hugo, 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, pp.489 - 504, Springer International Publishing, 2015-11-12

6
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

rss_1.0 rss_2.0 atom_1.0