Pavel Hrubeš

•  

• Themes

•  
•  
•  
•  

• Mathematical logic and philosophy of mathematics.

• Questions concerning logical structure of mathematical reasoning.
•  

• Algebraic circuit complexity.

• Sizes of algebraic circuits computing symbolic polynomials.
•  

• Proof complexity.

• Complexity of proofs in propositional logic, non-classical logics, and algebraic proof systems.
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  
   
  
•  

• Home

• Research

  • themes

  • grants

  • awards

• Lectures

• Useful links

•  

• CV

• Publications

• all types

• articles

• preprints IM

•  

IM AS CR P. Hrubeš MLTCS

last update: 05/12/2014