Pavel Hrubeš

Available identifiers

zbMath Open hrubes.pavelMaRDI QIDQ436565

List of research outcomes

Publication	Date of Publication	Type
New lower bounds against homogeneous non-commutative circuits	2024-11-19	Paper
Learnability can be independent of set theory (invited paper)	2023-11-14	Paper
Shadows of Newton polytopes	2023-10-23	Paper
Shadows of newton polytopes	2023-07-12	Paper
Lower Bounds on Balancing Sets and Depth-2 Threshold Circuits	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5140843	2020-12-17	Paper
On the distribution of runners on a circle	2020-09-15	Paper
On \(\epsilon\)-sensitive monotone computations	2020-09-09	Paper
On Hardness of Multilinearization and VNP-Completeness in Characteristic 2	2019-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4601838	2018-01-24	Paper
Semantic Versus Syntactic Cutting Planes	2018-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4598229	2017-12-19	Paper
A note on monotone real circuits	2017-12-13	Paper
Non-commutative arithmetic circuits with division	2017-05-19	Paper
Timed Sets, Functional Complexity, and Computability	2016-07-08	Paper
Total maps of Turing categories	2016-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q3467518	2016-02-02	Paper
On families of anticommuting matrices	2016-01-28	Paper
Short Proofs for the Determinant Identities	2015-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q3191579	2014-10-06	Paper
Non-commutative circuits and the sum-of-squares problem	2014-08-13	Paper
Short proofs for the determinant identities	2014-05-13	Paper
An Asymptotic Bound on the Composition Number of Integer Sums of Squares Formulas	2013-03-07	Paper
On the nonnegative rank of distance matrices	2012-07-25	Paper
Homogeneous formulas and symmetric polynomials	2011-11-30	Paper
Non-commutative circuits and the sum-of-squares problem	2011-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3002833	2011-05-24	Paper
Monotone separations for constant degree polynomials	2010-09-02	Paper
On convex complexity measures	2010-04-15	Paper
Kreisel's Conjecture with minimality principle	2009-09-29	Paper
On lengths of proofs in non-classical logics	2009-03-25	Paper
Lower bounds for modal logics	2007-10-17	Paper
A lower bound for intuitionistic logic	2007-04-18	Paper
Theories very close to PA where Kreisel's Conjecture is false	2007-03-12	Paper

Research outcomes over time

This page was built for person: Pavel Hrubeš