Pavel Hrubeš

Recent 5
- Hrubeš Pavel
- On families of anticommuting matrices
- Linear Algebra and its Applications 493, 2016, 494-507.
Associated with grants:
FEALORA(339691)
- Hrubeš Pavel, Wigderson Avi
- Non-commutative arithmetic circuits with division
- Theory of Computing 11 (946), 2015, 357-393.
Associated with grants:
FEALORA(339691)
- Hrubeš Pavel, Tzameret Iddo
- Short proofs for the determinant identities
- SIAM Journal on Computing 44 (2), 2015, 340-383.
Associated with grants:
FEALORA(339691)
- Cockett J.R.B., Hofstra P. J. W., Hrubeš Pavel
- Total maps of Turing categories
- Electronic Notes in Theoretical Computer Science 308, 2014, 129-146.
Associated with grants:

	Select
Year:		Type