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:
2002Wrote 1 papers:
- ICALP-2002-GrigorievHP #algebra #bound #exponential #proving
- Exponential Lower Bound for Static Semi-algebraic Proofs (DG, EAH, DVP), pp. 257–268.