Pavel Hrubeš

Available identifiers

zbMath Open hrubes.pavelMaRDI QIDQ436565

List of research outcomes

Publication	Date of Publication	Type
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

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: Pavel Hrubeš