Travelled to:1 × Brazil
1 × Switzerland
Collaborated with:∅ C.Fünfzig S.Foufou
Talks about:polynomi (1) isometri (1) theorem (1) polytop (1) geometr (1) comput (1) proof (1) group (1) word (1) rang (1)
Person: Dominique Michelucci
DBLP: Michelucci:Dominique
Contributed to:
20102008Wrote 2 papers:
- SAC-2010-FunfzigMF #polynomial
- Polytope-based computation of polynomial ranges (CF, DM, SF), pp. 1247–1252.
- SAC-2008-Michelucci #geometry #proving #theorem #word
- Isometry group, words and proofs of geometric theorems (DM), pp. 1821–1825.