Thèse (M.Sc.)--Université Laval, 2009. / Bibliogr.: f. [102]-106. Publié aussi en version électronique dans la Collection Mémoires et thèses électroniques.

Thèse de doctorat : Mathématiques : Lille 1 : 2002. / N° d'ordre (Lille) : 3112. Bibliogr. p. 101-103.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2008-2009 / Ce mémoire présente dans un langage moderne la théorie de l'intégration en termes finis. Le grand mathématicien J. Liouville l'initia et bien d'autres la poursuivirent, il fallut pourtant attendre deux articles de R. H. Risch, à la fin des années soixante pour connaitre enfin un algorithme intégrant explicitement les fonctions élémentaires. La méthode a été développée, raffinée et étendue au cours des décennies qui suivirent. Notre approche emprunte principalement aux articles et aux autres écrits de M. Bronstein (1963- 2005). Nous détaillons ces nouveaux algorithmes, notamment dans le cas des fonctions élémentaires transcendantes. Ils ont tous été programmés et testés dans le langage Maple Il.0. Nous avons tenté de rendre le contenu vivant, insistant sur l'apport historique et la source des découvertes. Ce mémoire n'est qu'une facette d'un objectif plus, large qui consistait à explorer l'ensemble du calcul formel ("Computer Algebra"). / [Théorème de Liouville]

.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Dans ce mémoire, nous élaborons des méthodes pour analyser le comportement de fonctions sur les corps finis. Après avoir étudié d'une façon personnalisée la distribution des valeurs de certaines truncations naturelles de fonctions transcendantes sur Fp, nous incluons la démonstration de W. M. Schmidt de l'hypothèse de Riemann sur les corps finis, puis une démonstration du théorème de Kurepa-Barsky-Benzaghou et nous concluons avec une preuve du théorème de Thue pour mettre en évidence la puissance et le champ d'applications de la méthode élémentaire de Thue-Stepanov.

No description available.