`Travelled to:`

2 × Switzerland

2 × USA

`Collaborated with:`

P.Koiran N.Limaye G.Malod S.Srinivasan D.Gardy A.Genitrini M.Zaionc

`Talks about:`

lower (3) bound (3) easier (2) real (2) intuitionist (1) asymptot (1) multipl (1) formula (1) classic (1) matrix (1)

## Person: Hervé Fournier

### DBLP: Fournier:Herv=eacute=

### Contributed to:

### Wrote 4 papers:

- STOC-2014-FournierLMS #bound #matrix #multi
- Lower bounds for depth 4 formulas computing iterated matrix multiplication (HF, NL, GM, SS), pp. 128–135.
- CSL-2007-FournierGGZ #logic
- Classical and Intuitionistic Logic Are Asymptotically Identical (HF, DG, AG, MZ), pp. 177–193.
- ICALP-2000-FournierK #bound
- Lower Bounds Are Not Easier over the Reals: Inside PH (HF, PK), pp. 832–843.
- STOC-1998-FournierK #bound #question
- Are Lower Bounds Easier over the Reals? (HF, PK), pp. 507–513.