Sunyoung Kim

Available identifiers

zbMath Open kim.sunyoung.1MaRDI QIDQ520628

List of research outcomes

Publication	Date of Publication	Type
The distribution of spacings between the fractional parts of $\boldsymbol{n^d\alpha}$	2020-04-09	Paper
Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories	2020-03-04	Paper
FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC	2018-03-27	Paper
More on 2-chains with 1-shell boundaries in rosy theories	2017-04-05	Paper
A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES	2015-05-20	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation	0001-01-03	Paper
T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sunyoung Kim