• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 62
  • 17
  • 12
  • Tagged with
  • 92
  • 92
  • 55
  • 48
  • 27
  • 24
  • 24
  • 24
  • 23
  • 23
  • 22
  • 22
  • 18
  • 16
  • 15
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Calcul formel et nombre de racines d'un polynôme dans le disque unité applications en automatique et biochimie /

Gleyse, Bernard Chenin, Patrick. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : mathématiques appliquées : Grenoble 1 : 1986. / Titre provenant de l'écran-titre.
2

Calcul formel et parallélisme forme normale d'Hermite, méthodes de calcul et parallélisation /

Roch, Françoise. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 145-149.
3

Architecture logicielle distribuée pour le calcul formel, application à la décomposition primaire d'idéaux /

Sausse, Alain. January 1900 (has links)
Th. univ.--Math.--Nice, 1995. / 1996 d'après la déclaration du dépôt légal. Bibliogr., 6 p. Résumé en français et en anglais.
4

Solutions formelles de systèmes d'équations différentielles ordinaires linéaires homogènes

Chen, Guoting. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble 1 : 1990. / Titre provenant de l'écran-titre. Bibliogr. p. 107-112.
5

Contribution à l'étude des équations différentielles et aux différences dans le champ complexe

Barkatou, My Abdelfattah. Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 189-193.
6

Calcul formel et parallélisme l'architecture du système PAC et son arithmétique rationnelle /

Roch, Jean-Louis Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse de doctorat : mathématiques appliquées : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 185-192.
7

Solutions formelles d'équations différentielles

Tournier, Évelyne Della Dora, Jean January 2008 (has links)
Reproduction de : Thèse d'Etat : sciences mathématiques : Grenoble 1 : 1987. / Titre provenant de l'écran-titre. Bibliogr. p. 199-209.
8

Calcul formel et parallélism

Sénéchaud, Pascale. Della Dora, Jean Trilling, Laurent. January 2008 (has links)
Reproduction de : Thèse de doctorat : Mathématique appliquées : Grenoble, INPG : 1990. / Titre provenant de l'écran-titre.
9

Différentiation automatique : application à un problème d'optimisation en météorologie /

Rostaing-Schmidt, Nicole. January 1900 (has links)
Th. doct.--Math.--Nice, 1993. / Bibliogr. p. 109-110. Résumé en français et en anglais. 1995 d'après la déclaration de dépôt légal.
10

Fonctions holonomes en calcul formel

Chyzak, Frédéric 27 May 1998 (has links) (PDF)
Cette thèse montre comment le calcul formel permet la manipulation d'une grande classe de suites et fonctions solutions d'opérateurs linéaires, la classe des fonctions holonomes. Celle-ci contient de nombreuses fonctions spéciales, en une ou plusieurs variables, et de nom- breuses suites de la combinatoire. Un cadre théorique est tout d'abord introduit pour algorith- miser les propriétés de clôture de la classe holonome, pour y permettre un test à zéro et pour unifier les calculs différentiels sur les fonctions et les calculs de récurrences sur les suites. Ces méthodes s'appuient sur des calculs par une extension de la théorie des bases de Gröbner dans un cadre de polynômes non commutatifs, les polynômes de Ore. Deux types d'algorithmes de sommation et d'intégration symboliques définies et indéfinies sont ensuite développés, dont la justification théorique fait appel à la théorie des D-modules holonomes. Les premiers ont recours à une élimination polynomiale non commutative par bases de Gröbner ; les seconds à des algo- rithmes de résolution de systèmes fonctionnels linéaires en leurs solutions fractions rationnelles. Bien plus que la recherche de formes closes, l'objectif est de pouvoir continuer à calculer avec la représentation implicite des objets holonomes même en l'absence de formes explicites. Ce type de calculs permet en particulier la preuve automatique d'identités sommatoires et intégrales. Une implantation de ces algorithmes dans le système de calcul formel Maple a permis de donner la première preuve automatique d'identités jusqu'à présent inaccessibles par le calcul formel.

Page generated in 0.088 seconds