La Magie du Calcul Gérard H. E. Duchamp (Université Paris XIII) Equipe AAA le 08 juin 2006.

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

S-SYSTEMS ETAPPROCHE HYBRIDE
Résolution de problèmes et logiciel de calcul symbolique
Université de Poitiers Laboratoire d Informatique Scientifique et Industrielle E.A LISI - ENSMA et Université de Poitiers Responsables Francis Cottet.
Affichage interactif, bidimensionnel et incrémental de formules mathématiques Hanane Naciri et Laurence Rideau INRIA Sophia Antipolis CARI'2000.
Structures de données et complexité
Transformations discrètes et relation discret - continu Lyon, Juin 2006 Eric ANDRES Laboratoire SIC Signal – Image - Communications Université de Poitiers.
M.E.D.A.L. Module dEnseignement à Distance pour lArchitecture Logicielle Alain VAILLY Diapositive n° 1 IUP MIAGE - Université de NANTES IUP-MIAGE 3ème.
I. Bases de logique , théorie des ensembles
Colloque Traitement et Analyse de séquences : compte-rendu
Cosmos/Works Les chargements type PALIER
Chap 1 Grammaires et dérivations.
Introduction : Compilation et Traduction
Programmes du cycle terminal
Maple, modélisation et résolution de problèmes
MACHINE DE MOORE SYNCHRONE SIMPLIFIÉE Professeur à l'UHP / ESIAL
Géométrie vectorielle
Double diplôme ENSA -ECN
1- Université Paul Sabatier, AD2M
Journée thématique du GDR IFS « Réduction de modèle en IFS » ENSAM – Jeudi 18 mai 2006 Validation de l’approche de la réduction a priori - POD sur l'équation.
Notions de base de la théorie des langages
Modélisation causale multiphysique
Marc MEDALE École Polytechnique Universitaire de Marseille
Parcours de Physique Théorique
Calcul Algébrique.
Modélisation du robot Azimut-3
Expressions régulières et hash tables

Présentation du Master d'ingénierie informatique et du Master de science informatique, 2e année Université Paris-Est Marne-la-Vallée Responsable.
Simple distributivité
La gestion par activités (ABM)
Chapitre 3 Syntaxe et sémantique.
Mise en oeuvre des MMCs L'utilisation des MMCs en reconnaissance des formes s'effectue en trois étapes : définition de la topologie de la chaîne de Markov,
Effet tunnel dans les systèmes quasi-intégrables
Supply Chain et Decision / Préférences / Multicritère
Approches non intrusives des éléments finis stochastiques
Introduction à l’algèbre
IFT Complexité et NP-complétude Chapitre 0 Rappels.
Modélisation de l’élève en algèbre dans un contexte technologique
Rappel... Diagonalisation. Transformations linéaires.
Présentation de la méthode des Eléments Finis
Soutenance de stage 16 Mai au 5 Août 2011
Soutenance de stage 16 Mai au 5 Août 2011
Soutenance de stage 16 Mai au 5 Août 2011
Expressions régulières et hash tables
METISSE Méthodes Et Théories pour une Ingénierie des Systèmes Socio- Environnementaux.
Les calculs algébriques ; un bref retour !
Journées Scientifiques / Paris février 2005 IEEA Modélisation de l’interaction onde-structure par l’UTD Application au positionnement d’une antenne.
Semestre 1 SEG Nouvelle accréditation Ancienne accréditation
Mathématiques Université en ligne. Les modules de mathématiques disponibles Trois types de modules ➢ Modules de transition entre lycée et université ➢
D.E ZEGOUR Ecole Supérieure d’Informatique. Problèmes de décision Concepts de base Expressions régulières Notation particulière pour exprimer certaines.
Le langage Racket (Lisp)
DU commerce éléctronique, mars Logique et fondements de l’informatique Université Paris II Michel de Rougemont
Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Savantes Banlieues Octobre 2005.
Approche probabiliste pour la commande orientée
Mathématique Expression algébrique Variable Coefficient
Logique et fondements de l’informatique
Introduction et Généralités sur l’Algorithmique
Polynôme d’avalanche A. Micheli Dominique Rossin.
Modelisation/ Analyse - Equations differentielles
Calcul symbolique Christophe Tollu Frédéric Toumazet Gérard H. E. Duchamp … + Séminaire CIP.
Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Séminaire du Laboratoire de Mathématiques.
Introduction à MathML Par Katia Larrivée UQO Le 18 mars 2004.
Chap 1 Grammaires et dérivations.
Elaboration d’un programme pour simuler numériquement l’énergie stockée dans un bimatériau nanométrique Cu/(001) Fe Lahreche Mohamed Radouane, Benatia.
1 Evolution de la Science Contemporaine Daniel Memmi Dépt. Informatique UQAM.
GdR MoMaS Novembre 2003 Conditions d’interface optimales algébriques pour la vibro-élasticité. François-Xavier Roux (ONERA) Laurent Sériès (ONERA) Yacine.
MECANIQUE DES MILLIEUX CONTINUS ET THERMODYDAMIQUE SIMULATIONS.
FRACTIONS Calcul avec des fractions.
Calcul symbolique Christophe Tollu Frédéric Toumazet
Transcription de la présentation:

La Magie du Calcul Gérard H. E. Duchamp (Université Paris XIII) Equipe AAA le 08 juin 2006

Mathematics AbstractApplied Physics Computer Science Electronics Mechatronics Adaptronics Artificial Intelligence Chaos Theory Continuous & Discrete Modelisation Business Banking Decision Making Complex Systems Complexity Computation Techniques Image Processing

InformatiquePhysiqueSystèmes Complexes Structures de données Systèmes de transition Mutations d’automates et application Systèmes dissipatifs Formule exponentielle Mécanique quantique Etats cohérents

Calcul S ymbolique Informatique Combinatoire Physique

Problématique du Calcul Symbolique Organisation Complexité Performance Évaluation Décision Calcul NumériqueExact, Symbolique, Formel Combinatoire

Calcul Symbolique Informatique Combinatoire Physique Automates Systèmes de calcul Applications : Systèmes Complexes, Multi-agents, Finance MuPAD Schur Représentations caractères Comb. des opérateurs Fonctions spéciales

Mathématiques InformatiquePhysique Non commutatif Mots Produits d’opérateurs Représentations Automates Structures de Transition Champs, Flots, Systèmes Dynamiques Formules, Algèbre Universelle Arbres avec Opérateurs Diagrammes Déformations q-analogues Groupes quantiques Combinatoire & C. S. S y s t è m e s C o m p l e x e s

Langages Théorie des codes Automates Structures de transition Grammaires Transducteurs Expressions rationnelles et algébriques … Polyominos Chemins (Dycks,…) Configurations q-grammaires Séries génératrices Fractions continues multivariées Polynômes orthogonaux … C o m b i n a t o i r e … des mots algébrique énumérative analytique Fractions continues non commutatives Représentations des groupes et déformations Groupes quantiques Foncteurs combinatoires Caractères Fonctions spéciales …

Ici le nombre de mots par longueur est Long ac=ca ac  ca

e

Exemple avec  = a + a a + a a + où a a + = a + a a + a a + a a +

a + aa + aa + = 1 a + a + a + aa + 3 a + a + a + 1 a +

Chemins de Dyck (parenthésages, arbres, physique, …) ( ) ( ( ( ) ( ) ( ) ) )

Equation : D = vide + (D) D … on compte les «mots» avec un « x » par parenthèse et on trouve T(x)=x 0 + x 2 T 2 (x) ce qui se résout par la méthode usuelle … x 2 T 2 –T+1=0 Variable : T Paramètre : x

Automates et rationalité

Changement de niveau en physique Positifs = D(aD) * 2 0 1

Mathématiques Informatique Physique Non commutatif Mots Produits d’opérateurs Représentations Automates Structures de Transition Champs, Flots, Systèmes Dynamiques Formules, Algèbre Universelle Arbres avec Opérateurs Diagrammes Déformations q-analogues Groupes quantiques Combinatoire & C. S. Conclusion S y s t è m e s C o m p l e x e s

Mathematics AbstractApplied Physics Computer Science Electronics Mechatronics Adaptronics Artificial Intelligence Chaos Theory Continuous & Discrete Modelisation Business Banking Decision Making Complex Systems Complexity Computation Techniques Image Processing