`Travelled to:`

1 × Spain

`Collaborated with:`

D.Grigoriev E.A.Hirsch

`Talks about:`

exponenti (1) algebra (1) static (1) proof (1) lower (1) bound (1) semi (1)

## Person: Dmitrii V. Pasechnik

### DBLP: Pasechnik:Dmitrii_V=

### Contributed to:

### Wrote 1 papers:

- ICALP-2002-GrigorievHP #algebra #bound #exponential #proving
- Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.