Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
First-Order Reasoning and Efficient Semi-Algebraic Proofs
Fedor Part, Neil Thapen, Iddo Tzameret
Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms: constant degree semi-algebra…
cs.LO2015
Semi-simplicial Types in Logic-enriched Homotopy Type Theory
Fedor Part, Zhaohui Luo
The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recognized as important during the Year of Univalent Foundations at the Institute of Ad…