Travelled to:1 × Czech Republic
Collaborated with:N.Ghani P.Johann S.Conchon M.Iguernelala K.Ji G.Melquiond
Talks about:strategi (1) algebra (1) reason (1) number (1) induct (1) fibrat (1) three (1) point (1) initi (1) float (1)
Person: Clément Fumex
DBLP: Fumex:Cl=eacute=ment
Contributed to:
2010
2017Wrote 2 papers:
- CSL-2010-GhaniJF #algebra #induction
- Fibrational Induction Rules for Initial Algebras (NG, PJ, CF), pp. 336–350.
- CAV-2017-ConchonIJMF #float #reasoning #smt
- A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT (SC, MI, KJ, GM, CF), pp. 419–435.