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:
2014
20122006Wrote 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.