Se Won Park

From MaRDI portal
Person:260175

Available identifiers

zbMath Open park.sewonMaRDI QIDQ260175

List of research outcomes





PublicationDate of PublicationType
Formalizing hyperspaces for extracting efficient exact real computation2024-12-03Paper
Semantics, specification logic, and Hoare logic of exact real computation2024-06-27Paper
Verified exact real computation with nondeterministic functions and limits2024-05-29Paper
Lévy Adaptive B-spline Regression via Overcomplete Systems2023-11-14Paper
Axiomatic reals and certified efficient exact real computation2022-06-24Paper
THE GENERALIZED HYERS-ULAM STABILITY OF ADDITIVE FUNCTIONAL INEQUALITIES IN NON-ARCHIMEDEAN 2-NORMED SPACE2020-02-24Paper
Randomized Computation of Continuous Data: Is Brownian Motion Computable?2019-06-16Paper
Computing periods2018-06-15Paper
The idempotent fuzzy matrices2016-04-06Paper
Hyponormal Toeplitz operators with polynomial symbols on weighted Bergman spaces2016-03-18Paper
https://portal.mardi4nfdi.de/entity/Q34138372006-12-18Paper
https://portal.mardi4nfdi.de/entity/Q34108082006-11-16Paper
https://portal.mardi4nfdi.de/entity/Q53128072005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q44652302004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q47959742003-07-02Paper
https://portal.mardi4nfdi.de/entity/Q31491032003-03-12Paper
https://portal.mardi4nfdi.de/entity/Q49546072000-06-12Paper
https://portal.mardi4nfdi.de/entity/Q42432411999-05-17Paper
Linear operators strongly preserving matrices whose sign patterns require the Perron property1998-01-06Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real ComputationN/APaper

Research outcomes over time

This page was built for person: Se Won Park

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:260175&oldid=11944525"
Powered by MediaWiki