Hirsch Edward Alekseevich

Presentations in Math-Net.Ru

1. Heuristic proofs
   E. A. Hirsch
   General Mathematics Seminar of the St. Petersburg Division of Steklov Institute of Mathematics, Russian Academy of Sciences
   December 26, 2011 13:00   
2. Optimal proof systems and algorithms (review)
   E. A. Hirsch
   Traditional Christmas session MIAN-POMI, 2009 "Logic and Theoretical Computer Science"
   December 18, 2009 12:00   
3. Semialgebraic proofs
   E. Hirsch
   General Mathematics Seminar of the St. Petersburg Division of Steklov Institute of Mathematics, Russian Academy of Sciences
   March 25, 2003
4. Semialgebraic proofs
   E. A. Hirsch
   Meetings of the St. Petersburg Mathematical Society
   March 25, 2003
5. “Non-logical” proofs of logical formulas
   E. A. Hirsch
   General Mathematics Seminar of the St. Petersburg Division of Steklov Institute of Mathematics, Russian Academy of Sciences
   November 20, 2000