Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"programmation fonctionnelle"”.
-
Homologie effective des espaces de lacets itérés: un logiciel
On décrit dans ce mémoire un ensemble d'algorithmes qui nous on permis de developper un logiciel Lisp calculant l'homologie entière des espaces de lacets itérés. Dans le chapitre 1, on introduit une machine théorique (inspirée du X-calcul).où il faut interpréter les resultats de calculabilité …