Précédent : Abstract Remonter : Abstract Suivant :
Proofs.
In
this direction, new algorithms for symbolic computation are
looked for and implemented. The algorithms are studied both from
a theoretical point of view (properties, complexity) and for
specific applications (genome, drawing combinatorial structures).