Détail du sujet

Le sujet consiste à étudier la possibilité d'interfacer le logiciel Biocham, dédié à la modélisation en biologie et les bibliothèques BLAD, dédiées à la simplification des systèmes d'équations différentielles par calcul symbolique.

Le logiciel Biocham est écrit en PROLOG. Il est déjà interfacé avec plusieurs bibliothèques écrites en C (bibliothèques CMA-ES et PPL). Les bibliothèques BLAD sont écrites en C. Elles ont déjà été interfacées avec d'autres logiciels (MAPLE, Sage).

Bien qu'il ne s'agisse pas d'un sujet « recherche », des prolongations « recherche » sont tout-à-fait envisageables.

• URL Biocham : http://contraintes.inria.fr/BIOCHAM/
• URL BLAD : http://www.lifl.fr/~boulier/pmwiki/pmwiki.php/Main/BLAD