Se Won Park

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (available as arXiv preprint)	N/A	Paper
A Coq formalization of Taylor models and power series for solving ordinary differential equations	2026-02-10	Paper
Extracting efficient exact real number computation from proofs in constructive type theory Journal of Logic and Computation	2025-09-30	Paper
Formalizing hyperspaces for extracting efficient exact real computation	2024-12-03	Paper
Semantics, specification logic, and Hoare logic of exact real computation Logical Methods in Computer Science	2024-06-27	Paper
Verified exact real computation with nondeterministic functions and limits	2024-05-29	Paper
Lévy Adaptive B-spline Regression via Overcomplete Systems STATISTICA SINICA	2023-11-14	Paper
Axiomatic reals and certified efficient exact real computation	2022-06-24	Paper
The generalized Hyers-Ulam stability of additive functional inequalities in non-Archimedean \(2\)-normed space Korean Journal of Mathematics	2020-02-24	Paper
Randomized Computation of Continuous Data: Is Brownian Motion Computable?	2019-06-16	Paper
Randomized Computation of Continuous Data: Is Brownian Motion Computable? (available as arXiv preprint)	2019-01-01	Paper
Computing periods	2018-06-15	Paper
The idempotent fuzzy matrices Honam Mathematical Journal	2016-04-06	Paper
Hyponormal Toeplitz operators with polynomial symbols on weighted Bergman spaces Journal of Inequalities and Applications	2016-03-18	Paper
scientific article; zbMATH DE number 5080584 (Why is no real title available?)	2006-12-18	Paper
scientific article; zbMATH DE number 5073436 (Why is no real title available?)	2006-11-16	Paper
scientific article; zbMATH DE number 2199022 (Why is no real title available?)	2005-08-25	Paper
scientific article; zbMATH DE number 2068775 (Why is no real title available?)	2004-05-27	Paper
scientific article; zbMATH DE number 1874553 (Why is no real title available?)	2003-07-02	Paper
scientific article; zbMATH DE number 1805888 (Why is no real title available?)	2003-03-12	Paper
scientific article; zbMATH DE number 1457218 (Why is no real title available?)	2000-06-12	Paper
scientific article; zbMATH DE number 1287852 (Why is no real title available?)	1999-05-17	Paper
Linear operators strongly preserving matrices whose sign patterns require the Perron property Linear Algebra and its Applications	1998-01-06	Paper

Research outcomes over time

This page was built for person: Se Won Park