RésuméL'évaluation dynamique permet de calculer avcc des nombres algébriques sans factoriser a priori les polynômes. Elle permet aussi de manipuler des paramètres de façon souple et conviviale. Le but de cet article est le suivant: Expliquer le mécanisme d'évaluation dynamique, qui repose sur les notions d'ensemble dynamique et de scindage. Présenter son application au calcul avec des nombres algébriques, c'est-à-dire définir la clôture algébrique dynamique d'un corps. Décrire le programme Axiom qui implante cela, et en fournir un mode d'emploi (seul ce dernier point nécessite de connaître Axiom). On décrit ici l'évaluation dynamique sans référence à la théorie des esquisses, mais la présentation proposée, moins rigoureuse, peut être consid...
AbstractThe aim of this paper is to give an effective version of the Strong Artin Approximation Theo...
La direction de recherche que nous abordons dans la thèse est l'application des modèles dynamiques d...
L'analyse mécanique dynamique (DMA) a pour but principal la mesure des caractéristiques dynamiques (...
RésuméL'évaluation dynamique permet de calculer avcc des nombres algébriques sans factoriser a prior...
RésuméWe describe here the state of the art in transcendence methods, proving in an abstract setting...
Dynamical systems are mathematical models for describing temporal evolution of the state of a system...
Galoisian envelope of a rational map. In 2001, B. Malgrange defines the D-envelope or galoisian enve...
La reconstruction de grandeurs non mesurées de systèmes dynamiques se résume souvent à la connaissan...
This paper presents a new kind of model for meaning construction within the framework of continuous ...
RÉSUMÉ: Les travaux de doctorat présentés dans ce mémoire ont permis de développer deux méthodes déd...
Dans cette thèse, nous étudions l'analyse statique par interprétation abstraites de programmes manip...
Ce travail est une étude algorithmique et mathématique préparant une axiomatisation ou une spécifica...
La criticité des programmes dépasse constamment de nouvelles frontières car ils sont de plus en plus...
La thèse actuelle porte sur le thème de la combinatoire des mots et des systèmes dynamiques symboliq...
AbstractAméliorations et remarques sur un algorithme dû à H. Zassenhaus, qui fournit la factorisatio...
AbstractThe aim of this paper is to give an effective version of the Strong Artin Approximation Theo...
La direction de recherche que nous abordons dans la thèse est l'application des modèles dynamiques d...
L'analyse mécanique dynamique (DMA) a pour but principal la mesure des caractéristiques dynamiques (...
RésuméL'évaluation dynamique permet de calculer avcc des nombres algébriques sans factoriser a prior...
RésuméWe describe here the state of the art in transcendence methods, proving in an abstract setting...
Dynamical systems are mathematical models for describing temporal evolution of the state of a system...
Galoisian envelope of a rational map. In 2001, B. Malgrange defines the D-envelope or galoisian enve...
La reconstruction de grandeurs non mesurées de systèmes dynamiques se résume souvent à la connaissan...
This paper presents a new kind of model for meaning construction within the framework of continuous ...
RÉSUMÉ: Les travaux de doctorat présentés dans ce mémoire ont permis de développer deux méthodes déd...
Dans cette thèse, nous étudions l'analyse statique par interprétation abstraites de programmes manip...
Ce travail est une étude algorithmique et mathématique préparant une axiomatisation ou une spécifica...
La criticité des programmes dépasse constamment de nouvelles frontières car ils sont de plus en plus...
La thèse actuelle porte sur le thème de la combinatoire des mots et des systèmes dynamiques symboliq...
AbstractAméliorations et remarques sur un algorithme dû à H. Zassenhaus, qui fournit la factorisatio...
AbstractThe aim of this paper is to give an effective version of the Strong Artin Approximation Theo...
La direction de recherche que nous abordons dans la thèse est l'application des modèles dynamiques d...
L'analyse mécanique dynamique (DMA) a pour but principal la mesure des caractéristiques dynamiques (...