Hyojae
Lim
Department of
Mathematics
Yonsei University
50
Yonsei-Ro, Seodaemun-Gu
Seoul 03722, Korea
Email: hyo5064@yonsei.ac.kr
Member of Wavelets and Approximations
group in Yonsei University
Research:
-
Curriculum Vitae
(last updated in March 2024)
-
Research Interests:
-
Approximation theory on various function spaces using frames
-
Tight wavelet frame construction using the extension principles
-
Developing a proof-generating model together with interactive theorem provers
-
Abstract harmonic analysis - unitary representation theory on locally compact groups
-
Publication Lists:
-
New Tight Wavelet Frame Constructions Sharing Responsibility (with Y. Hur) (submitted)
-
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques (submitted)
-
Wavelet Series Expansion in Hardy Spaces with Approximate Duals (with Y. Hur), Analysis Mathematica. (accepted) (preprint in arXiv)
-
Understanding the Scattering Transform using Univariate Signals (with Y. Hur), Proceedings of 11th International Congress on Image and Signal Processing,
BioMedical Engineering and Informatics (CISP-BMEI), 2018, pp. 1-7. (preprint)
-
Research in Progress:
-
Formalization of frames in vector spaces
Education: