BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
I.Tzameret A.Wigderson A.Yehudayoff
Talks about:
determin (1) problem (1) circuit (1) commut (1) squar (1) short (1) proof (1) ident (1) sum (1) non (1)

Person: Pavel Hrubes

DBLP DBLP: Hrubes:Pavel

Contributed to:

STOC 20122012
STOC 20102010

Wrote 2 papers:

STOC-2012-HrubesT #proving
Short proofs for the determinant identities (PH, IT), pp. 193–212.
STOC-2010-HrubesWY #commutative #problem
Non-commutative circuits and the sum-of-squares problem (PH, AW, AY), pp. 667–676.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.