m

F Nous contacter

0

Documents  53-04 | enregistrements trouvés : 8

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research School;Computer Science;Geometry

Le calcul tensoriel sur les variétés différentielles comprend l'arithmétique des champs tensoriels, le produit tensoriel, les contractions, la symétrisation et l'antisymétrisation, la dérivée de Lie le long d'un champ vectoriel, le transport par une application différentiable (pullback et pushforward), mais aussi les opérations intrinsèques aux formes différentielles (produit intérieur, produit extérieur et dérivée extérieure). On ajoutera également toutes les opérations sur les variétés pseudo-riemanniennes (variétés dotées d'un tenseur métrique) : connexion de Levi-Civita, courbure, géodésiques, isomorphismes musicaux et dualité de Hodge.Dans ce cours, nous introduirons tout d'abord la problématique du calcul tensoriel formel, en distinguant le calcul dit “abstrait” du calcul explicite. C'est ce dernier qui nous intéresse ici. Il se ramène in fine au calcul symbolique sur les composantes des champs tensoriels dans un champ de repères, ces composantes étant exprimées en termes des coordonnées d'une carte donnée.
Nous discuterons alors d'une méthode de calcul tensoriel générale, valable sur l'intégralité d'une variété donnée, sans que l'utilisateur ait à préciser dans quels champs de repères et avec quelles cartes doit s'effectuer le calcul. Cela suppose que la variété soit couverte par un atlas minimal, défini carte par carte par l'utilisateur, et soit décomposée en parties parallélisables, i.e. en ouverts couverts par un champ de repères. Ces contraintes étant satisfaites, un nombre arbitraire de cartes et de champs de repères peuvent être introduits, pourvu qu'ils soient accompagnés des fonctions de transition correspondantes.
Nous décrirons l'implémentation concrète de cette méthode dans SageMath ; elle utilise fortement la structure de dictionnaire du langage Python, ainsi que le schéma parent/élément de SageMath et le modèle de coercition associé. La méthode est indépendante du moteur de calcul formel utilisé pour l'expression symbolique des composantes tensorielles dans une carte. Nous présenterons la mise en œuvre via deux moteurs de calcul formel différents : Pynac/Maxima (le défaut dans SageMath) et SymPy. Différents champs d'application seront discutés, notamment la relativité générale et ses extensions.
Le calcul tensoriel sur les variétés différentielles comprend l'arithmétique des champs tensoriels, le produit tensoriel, les contractions, la symétrisation et l'antisymétrisation, la dérivée de Lie le long d'un champ vectoriel, le transport par une application différentiable (pullback et pushforward), mais aussi les opérations intrinsèques aux formes différentielles (produit intérieur, produit extérieur et dérivée extérieure). On ajoutera ...

53-04 ; 53Axx ; 58C25 ; 68N01 ; 68N15 ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-981-02-3805-6

Series in algebra , 0001

Localisation : Colloque 1er étage (TUSC)

bulle de savon # calcul de variation # forme # géométrie différentielle # maple # surface minimale # tension de surface

49-01 ; 49-04 ; 49Q05 ; 53-01 ; 53-04 ; 53A10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-19-853609-3

The institute of mathematics and its applications conference series , 0006

Localisation : Colloque 1er étage (MANC)

geometrie # plan geometrique assiste par ordinateur # surface # traitemt informatiqu e des surfaces

51-04 ; 51L20 ; 53-04 ; 53Axx ; 53C45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 485 p.
ISBN 978-0-444-87545-7

Advanced studies in pure mathematics , 0003

Localisation : Collection 1er étage

53-04 ; 53C22 ; 53Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research School;Computer Science;Geometry

Le calcul tensoriel sur les variétés différentielles comprend l'arithmétique des champs tensoriels, le produit tensoriel, les contractions, la symétrisation et l'antisymétrisation, la dérivée de Lie le long d'un champ vectoriel, le transport par une application différentiable (pullback et pushforward), mais aussi les opérations intrinsèques aux formes différentielles (produit intérieur, produit extérieur et dérivée extérieure). On ajoutera également toutes les opérations sur les variétés pseudo-riemanniennes (variétés dotées d'un tenseur métrique) : connexion de Levi-Civita, courbure, géodésiques, isomorphismes musicaux et dualité de Hodge.Dans ce cours, nous introduirons tout d'abord la problématique du calcul tensoriel formel, en distinguant le calcul dit “abstrait” du calcul explicite. C'est ce dernier qui nous intéresse ici. Il se ramène in fine au calcul symbolique sur les composantes des champs tensoriels dans un champ de repères, ces composantes étant exprimées en termes des coordonnées d'une carte donnée.
Nous discuterons alors d'une méthode de calcul tensoriel générale, valable sur l'intégralité d'une variété donnée, sans que l'utilisateur ait à préciser dans quels champs de repères et avec quelles cartes doit s'effectuer le calcul. Cela suppose que la variété soit couverte par un atlas minimal, défini carte par carte par l'utilisateur, et soit décomposée en parties parallélisables, i.e. en ouverts couverts par un champ de repères. Ces contraintes étant satisfaites, un nombre arbitraire de cartes et de champs de repères peuvent être introduits, pourvu qu'ils soient accompagnés des fonctions de transition correspondantes.
Nous décrirons l'implémentation concrète de cette méthode dans SageMath ; elle utilise fortement la structure de dictionnaire du langage Python, ainsi que le schéma parent/élément de SageMath et le modèle de coercition associé. La méthode est indépendante du moteur de calcul formel utilisé pour l'expression symbolique des composantes tensorielles dans une carte. Nous présenterons la mise en œuvre via deux moteurs de calcul formel différents : Pynac/Maxima (le défaut dans SageMath) et SymPy. Différents champs d'application seront discutés, notamment la relativité générale et ses extensions.
Le calcul tensoriel sur les variétés différentielles comprend l'arithmétique des champs tensoriels, le produit tensoriel, les contractions, la symétrisation et l'antisymétrisation, la dérivée de Lie le long d'un champ vectoriel, le transport par une application différentiable (pullback et pushforward), mais aussi les opérations intrinsèques aux formes différentielles (produit intérieur, produit extérieur et dérivée extérieure). On ajoutera ...

53-04 ; 53Axx ; 58C25 ; 68N01 ; 68N15 ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 262 p.
ISBN 978-3-540-08158-6

Ergebnisse der mathematik und ihrer grenzgebiete , 0093

Localisation : Ouvrage RdC (BESS)

géométrie différentielle globale # géométrie riemanienne globale # géodésique # analyse globale # analyse des variétés

34B25 ; 53-04 ; 53A05 ; 53Cxx ; 57A65

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 1053 p.
ISBN 978-0-8493-7164-6

Localisation : Ouvrage RdC (GRAY)

géométrie différentielle # courbe # surface # calcul # MATHEMATICA # programme # surface minimale # variété riemannienne # géodésique # inversion # cyclide # théorème de Gauss-Bonnet # exercice # histoire

53-01 ; 53-04 ; 53A04 ; 53A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-2118-3

Student mathematical library , 0010

Localisation : Collection 1er étage

bulle de savon # calcul de variation # forme # géomérie différentielle # maple # surface minimale # tension de surface

49-01 ; 49-04 ; 49Q05 ; 53-01 ; 53-04 ; 53A10

... Lire [+]

Z