Contribution à l'algorithmique en algèbre différentielle

Contribution à l'algorithmique en algèbre différentielle

Cette thèse est consacrée à l'étude des systèmes d'équations<br />différentielles non linéaires aux dérivées partielles. L'approche choisie est celle de l'algèbre différentielle. Étant donné un système d'équations différentielles, nous cherchons à obtenir des renseigne...

Full description

Bibliographic Details
Main Author:	Lemaire, François
Language:	FRE
Published:	Université des Sciences et Technologie de Lille - Lille I 2002
Subjects:	[INFO:INFO_SE] Computer Science/Software Engineering [MATH] Mathematics symbolic computation computer science nonlinear PDE differential algebra differential ideal characteristic sets differential regular chains normal forms analyticity Riquier-Janet theory Cauchy-Kovalevskaya theorem
Online Access:	http://tel.archives-ouvertes.fr/tel-00001363 http://tel.archives-ouvertes.fr/docs/00/04/48/54/PDF/tel-00001363.pdf

Similar Items

De l'algorithmique à l'arithmétique via le calcul formel
by: Zimmermann, Paul
Published: (2001)

Étude et implantation de quelques algorithmes en algèbre différentielle
by: Boulier, François
Published: (1994)

Algorithmique des courbes algébriques pour la cryptologie
by: Gaudry, Pierrick
Published: (2008)

A generalization of Schauder's theorem and its application to Cauchy-Kovalevskaya problem
by: Oleg Zubelevich
Published: (2003-05-01)

Quelques applications de l'algébre différentielle et aux différences pour le télescopage créatif
by: Chen, Shaoshi
Published: (2011)

Validation par évaluation sur un modèle : méthodes et algorithmes
by: Fernandez, Jean-Claude
Published: (1996)

Information du Contexte comme une Ressource : Une Approche Orientée Service pour la Sensibilité au Contexte
by: Romero, Daniel
Published: (2011)

Contributions à l'algorithmique détendue et à la résolution des systèmes polynomiaux
by: Lebreton, Romain
Published: (2012)

Problèmes de Géométrie Algorithmique sur les Droites et les Quadriques en Trois Dimensions
by: Lazard, Sylvain
Published: (2007)

-- Géométrie algorithmique --<br />De la théorie à la pratique,<br />Des objets linéaires aux objets courbes.
by: Teillaud, Monique
Published: (2007)

Algèbres de Processus Réversibles
by: Krivine, Jean
Published: (2006)

Langages pour l'écriture de compilateurs
by: Cohen, Jacques
Published: (1967)

Etude critique et données de compilation du langage Cobol
by: Baer, Jean-Loup
Published: (1963)

Réécriture algébrique dans les systèmes d'équations différentielles<br />polynomiales en vue d'applications dans les Sciences du Vivant
by: Boulier, François
Published: (2006)

Calculs vérifiés en algèbre homologique
by: Spiwack, Arnaud
Published: (2011)

Mouvement, Interaction, Calcul partout et à tout moment avec l'Ordinateur
by: Gouaich, Abdelkader
Published: (2005)

Validation de métriques de testabilité logicielle pour les programmes objets
by: Shaheen, Muhammad Rabee
Published: (2009)

De l'extension des langages à objets à la réalisation de modèles métiers : une évolution du développement logiciel
by: Lahire, Philippe
Published: (2004)

Contribution à la vérication formelle et programmation par contraintes
by: Collavizza, Hélène
Published: (2009)

Vers une programmation fonctionnelle praticable
by: Serrano, Manuel
Published: (2000)

Contribution à la programmation générative
by: Parigot, Didier
Published: (2003)

Etude d'un langage intermédiaire pour la compilation d'Algol 60 -<br />Application à un calculateur de type microprogrammé : CAE 510
by: Le Palmec, Jean
Published: (1966)

Une méthode fondée sur les modèles pour gérer les propriétés temporelles des systèmes à composants logiciels
by: Nguyen, Viet Hoa
Published: (2013)

Approche à contraintes pour la sélection de Covering Array
by: Hervieu, Aymeric
Published: (2013)

Segmentation et évolution pour la planification : le système Divide-And-Evolve
by: Bibai, Jacques
Published: (2010)

Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité
by: Heam, Pierre-Cyrille
Published: (2009)

Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles.
by: Brottier, Erwan
Published: (2009)

Analyses Automatiques pour le Test de Programmes Orientés Aspect
by: Delamare, Romain
Published: (2009)

Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel
by: Simonin, Jacques
Published: (2009)

Méthodes d'analyses syntaxiques descendantes pour langages "context-free"
by: Nguyen-Dinh, Xuan
Published: (1965)

La mesure des modèles par les modèles : une approche générative
by: Monperrus, Martin
Published: (2008)

Typage de Modèles
by: Steel, James
Published: (2007)

Une architecture pour les transformations de modèles et la restructuration de modèles uml
by: Pollet, Damien
Published: (2005)

Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique
by: Morin, Brice
Published: (2010)

Validation des moteurs de raisonnement et mécanismes d'adaptation pour les systèmes auto-adaptatifs
by: Munoz, Freddy
Published: (2010)

Approche formelle des problèmes liés à la sémantique des langues naturelles
by: Rouault, Jacques
Published: (1971)

Etude d'automates et de grammaires de ramifications
by: Berlioux, Pierre
Published: (1972)

Ingénierie Concurrente en Génie Logiciel: Céline
by: Garcia Camargo, Sergio
Published: (2006)

Composition de squelettes algorithmiques : application au prototypage rapide d'applications de vision
by: COUDARCHER, Rémi
Published: (2002)

Contribution à l'algorithmique distribuée : arbres et ordonnancement
by: Butelle, Franck
Published: (2007)

Cannot write session to /tmp/vufind_sessions/sess_v3nc7f8agnt4dsvlhdii1jvjp6