Axiomatic reals and certified efficient exact real computation M Konečný, S Park, H Thies Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 8 | 2021 |
Extracting efficient exact real number computation from proofs in constructive type theory M Konečný, S Park, H Thies arXiv preprint arXiv:2202.00891, 2022 | 6 | 2022 |
Semantics, logic, and verification of" exact real computation F Brauße, P Collins, J Kanig, SY Kim, M Konečny, G Lee, N Müller, ... arXiv preprint arXiv 1608, 2016 | 5 | 2016 |
Foundation of computer (algebra) analysis systems: semantics, logic, programming, verification S Park, F Brauße, P Collins, S Kim, M Konečný, G Lee, N Müller, ... | 4 | 2020 |
On formal verification in imperative multivalued programming over continuous data types NT Müller, S Park, N Preining, M Ziegler CoRR, abs/1608.05787, 2016 | 4 | 2016 |
Certified Computation of Nondeterministic Limits M Konečný, S Park, H Thies NASA Formal Methods Symposium, 771-789, 2022 | 3 | 2022 |
Computable Operations on Compact Subsets of Metric Spaces with Applications to Fr\'echet Distance and Shape Optimization C Park, JW Park, S Park, D Seon, M Ziegler arXiv preprint arXiv:1701.08402, 2017 | 3 | 2017 |
From Coq proofs to certified exact real computation in AERN M Konecný, S Park, H Thies Proc. 18th Internat. Conf. on Computability and Complexity in Analysis (CCA), 2021 | 1 | 2021 |
Topological Aspects on Nondetermistic Computation D Lim, S Park 한국정보과학회 학술발표논문집, 1107-1108, 2020 | 1 | 2020 |
Compact Subsets in Exact Real Computation J Hwang, S Park 한국정보과학회 학술발표논문집, 1104-1106, 2020 | 1 | 2020 |
Computing periods J Cho, S Park, M Ziegler International Workshop on Algorithms and Computation, 132-143, 2018 | 1 | 2018 |
Verified Exact Real Computation with Nondeterministic Functions and Limits S Park International Symposium on Fundamentals of Computation Theory, 363-377, 2023 | | 2023 |
Formalizing Hyperspaces for Extracting Efficient Exact Real Computation M Konečný, S Park, H Thies 48th International Symposium on Mathematical Foundations of Computer Science …, 2023 | | 2023 |
Nondeterministic limits and certified exact real computation M Konecný, S Park, H Thies | | 2022 |
Grassmannian as Continuous Data Type with Computable Semantics S Lee, D Lim, S Park, M Ziegler 한국정보과학회 학술발표논문집, 1767-1769, 2019 | | 2019 |
Is Brownian Motion Computable? H Lee, S Park, M Ziegler SCIENTIFIC PROGRAMME COMMITTEE, 2019 | | 2019 |
Randomized Computation of Continuous Data: Is Brownian Motion Computable? W Fouché, H Lee, D Lim, S Park, M Schröder, M Ziegler arXiv preprint arXiv:1906.06684, 2019 | | 2019 |
Tensor Calculus in Exact Real Computation on Simplicial Complexes C Park, S Park, M Ziegler 한국정보과학회 학술발표논문집, 1729-1731, 2018 | | 2018 |
Reliable diagonalization of degenerate matrices S Park, MA Ziegler 14th International Conference on Computability and Complexity in Analysis …, 2017 | | 2017 |
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation S Park, F Brauße, P Collins, SY Kim, M Konečný, G Lee, N Müller, ... arXiv preprint arXiv:1608.05787, 2016 | | 2016 |