m

Documents  68U05 | enregistrements trouvés : 147

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.

Collection de la direction des etudes et recherches d'electricite de france ecole d'ete d'informatiq

Localisation : Colloque 1er étage (BREA)

informatique graphique # interaction des logiciels graphique # logiciel # logiciels graphiques interactifs

68U05 ; 68U10

... Lire [+]

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


ISBN 978-2-86601-084-3

Micad 87 , 0002

Localisation : Colloque 1er étage (PARI)

automatisme # cao # informatique graphique # intelligence artificielle # robotique # systeme expert

68-06 ; 68Txx ; 68U05

... Lire [+]

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

Localisation : Salle de manutention

algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'ap...

03B25 ; 03D20 ; 11Dxx ; 68U05 ; 92B20

... Lire [+]

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

- 555 p.
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- pp. 559-1055
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- pp. 1059-1758
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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


ISBN 978-2-86601-196-3

Localisation : Colloque 1er étage (PARI)

image numerique # informatique graphique

68-06 ; 68U05

... Lire [+]

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


ISBN 978-2-90-3677-1-5

Localisation : Colloque 1er étage (LYON)

acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d

68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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


ISBN 978-2-90-3677-1-5

Localisation : Colloque 1er étage (LYON)

acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # intelligence artificielle # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d'information # séquence # technique et science informatique # traitement du signal

68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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


ISBN 978-2-90-3677-1-5

Localisation : Colloque 1er étage (LYON)

acquisition de connaissance # apprentissage # architecture et image # architecture logicielle et intelligence artificielle # infographie # intelligence artificielle # langage # langue # langue naturelle # modélisation # mouvement # raisonnement # reconnaissance des formes # représentation # robotique # stéréovision # système d'information # séquence # technique et science informatique # traitement du signal

68T10 ; 68T25 ; 68T30 ; 68T35 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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


ISBN 978-0-8247-7600-8

Statistics

Localisation : Colloque 1er étage (LURA)

traitement d'images

68Pxx ; 68Q75 ; 68U05 ; 68U10

... Lire [+]

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


ISBN 978-3-540-13920-1

Nato a.s.i. series

Localisation : Colloque 1er étage (ILKL)

informatique graphique

68Q25 ; 68U05 ; 68Uxx

... Lire [+]

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


ISBN 978-0-444-86550-2

Localisation : Colloque 1er étage (OBER)

geometrie de l'informatique # image informatique # informa tique # informatique graphique # traitemt des images

68U05 ; 68U10

... Lire [+]

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

- 326 p.
ISBN 978-0-387-97019-6

Localisation : Colloque 1er étage (CAMB)

informatique # mathematique # outils mathematiques de l'informatique

03-06 ; 11-06 ; 68-06 ; 68Pxx ; 68U05

... Lire [+]

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


ISBN 978-0-89791-166-5

Localisation : Colloque 1er étage (SAN)

fractal # geometrie de l'informatiq ue # grahisme # images informatiques # informatique graphique

68U05 ; 68U10

... Lire [+]

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


ISBN 978-0-8218-0137-6

Proceedings of symposia in applied mathematics , 0039

Localisation : Collection 1er étage

fractales # informatique graphique

30C99 ; 34C35 ; 51M99 ; 58F99 ; 68U05

... Lire [+]

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


ISBN 978-0-444-89452-6

Annals of discrete mathematics , 0052

Localisation : Colloque 1er étage (GAET)

analyse combinatoire # combinatoire # geometrie # geometrie combinatoire # geometrie de l'informatique # geometrie discrete # graphes # mathematiques discretes # theorie des graphes

51N05 ; 68R05 ; 68R10 ; 68Rxx ; 68U05

... Lire [+]

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

- 235 p.
ISBN 978-0-8176-3689-0

Localisation : Ouvrage RdC (GELF)

algèbre d'Heisenberg # algèbre d'opérateur de Vertex # algèbre de Wih # algèbre de fonction quantifiée # avalanche # complexe de graphe connecté # cycle de Lagrange # densité de Crofton # différentielle non locale # décomposition de Tutte # dégénérescence de 2 suites spectrales # faisceau pervers # fonction constructible # formule non commutative # groupe quantique # groupe simple sporadique # géométrie informatique # géométrie symplectique # k-théorie algébrique # polylogorithme # structure bihamiltonienne # structure d'algèbre de Hopf # séminaire Gelfand # tas de sable algèbre d'Heisenberg # algèbre d'opérateur de Vertex # algèbre de Wih # algèbre de fonction quantifiée # avalanche # complexe de graphe connecté # cycle de Lagrange # densité de Crofton # différentielle non locale # décomposition de Tutte # dégénérescence de 2 suites spectrales # faisceau pervers # fonction constructible # formule non commutative # groupe quantique # groupe simple sporadique # géométrie informatique # géométrie symplectique # ...

17Bxx ; 19Fxx ; 20-06 ; 68U05 ; 81R50

... Lire [+]

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

- 688 p.
ISBN 978-3-540-58325-7

Lecture notes in computer science , 0834

Localisation : Collection 1er étage

VLSI et routage # algorithme algébrique # algorithme combinatoire # algorithme distribué et aléatorisé # algorithme et calcul # algorithme géométrique # algorithme parallèle # approximation et optimisation # complexité # complexité informatique # géométrie informatique # structure de données

68Q25 ; 68Q35 ; 68Qxx ; 68U05

... Lire [+]

Z