Sunyoung Kim

Available identifiers

zbMath Open kim.sunyoung.1MaRDI QIDQ520628

List of research outcomes

Publication	Date of Publication	Type
T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization	2024-09-17	Paper
Semantics, specification logic, and Hoare logic of exact real computation	2024-06-27	Paper
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
Identities for Logarithmic Means: A Survey	2016-05-20	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	N/A	Paper
T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization	N/A	Paper

Research outcomes over time

This page was built for person: Sunyoung Kim