Sunyoung Kim

MaRDI QIDQ520628zbMATH OpenFDO

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
T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization Computational Optimization and Applications	2024-09-17	Paper
Semantics, specification logic, and Hoare logic of exact real computation Logical Methods in Computer Science	2024-06-27	Paper
The distribution of spacings between the fractional parts of $\boldsymbol{n^d\alpha}$ (available as arXiv preprint)	2020-04-09	Paper
Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories Fundamenta Mathematicae	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 Journal of the Mathematical Society of Japan	2017-04-05	Paper
Identities for Logarithmic Means: A Survey Fields Institute Communications	2016-05-20	Paper
A classification of 2-chains having 1-shell boundaries in rosy theories Journal of Symbolic Logic	2015-05-20	Paper
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation (available as arXiv preprint)	N/A	Paper
T-semidefinite programming relaxation with third-order tensors for constrained polynomial optimization (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Sunyoung Kim