`Travelled to:`

1 × Austria

1 × USA

1 × United Kingdom

`Collaborated with:`

∅ F.Bobot S.Conchon E.Contejean M.Iguernelala A.Mebsout G.Melquiond

`Talks about:`

formal (2) implement (1) algorithm (1) polynomi (1) mathemat (1) arithmet (1) theorem (1) simplex (1) motzkin (1) fourier (1)

## Person: Assia Mahboubi

### DBLP: Mahboubi:Assia

### Contributed to:

### Wrote 3 papers:

- LICS-CSL-2014-Mahboubi #order #proving #theorem
- Computer-checked mathematics: a formal proof of the odd order theorem (AM), p. 1.
- IJCAR-2012-BobotCCIMMM #integer #linear
- A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
- IJCAR-2006-Mahboubi #algorithm #implementation #performance #proving
- Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials (AM), pp. 438–452.