m

F Nous contacter

0

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.


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.

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.

- 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-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-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.

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.

- 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 [+]

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

- 510 p.
ISBN 978-3-540-58240-3

Lecture notes in computer science , 0825

Localisation : Collection 1er étage

algèbre double # classification # correspondance de traits coplanaires # description d'objet hiérarchique utilisant l'invariant # fonction de taille invariante # géométrie épipolaire # intégration de courbe algébrique ou de surface algébrique, d # invariance en vision informatique # invariant en vision informatique # invariant pour retrouver forme à partir d'ombre # méthode du cadre de mouvement de Cartan # rapport anharmonique # reconnaissance d'objet 2D et 3D # reconnaissance par combinaison de vues de modèles # reconstruction euclidienne à partir de vues non calibrées # reconstruction projective précise # représentation de structure d'objets de dimension 3 # récupération d'objet courbé # statistique # structure affine et projective 3D # structure répétée # vue en perspective 2D algèbre double # classification # correspondance de traits coplanaires # description d'objet hiérarchique utilisant l'invariant # fonction de taille invariante # géométrie épipolaire # intégration de courbe algébrique ou de surface algébrique, d # invariance en vision informatique # invariant en vision informatique # invariant pour retrouver forme à partir d'ombre # méthode du cadre de mouvement de Cartan # rapport anharmonique # reconnaissance ...

68-06 ; 68Txx ; 68U05

... Lire [+]

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

- 654 p.
ISBN 978-3-540-59042-2

Lecture notes in computer science , 0900

Localisation : Collection 1er étage

algorithme # base de données # code possible dans le code génétique # cryptographie # géométrie informatique # informatique théorique # logique # théorie de la communication # théorie de la complexité # théorie des automates # théorie des graphes # théorie du calcul parallèle # équivalence de processus concurrent et décision

68-06 ; 68Qxx ; 68U05 ; 94A60

... Lire [+]

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


ISBN 978-84-8102-054-0

Localisation : Colloque 1er étage (SANT)

algorithme géométrique # atelier européen # diagramme de Voronoi abstrait # géométrie informatique # hyperplan en hyperarbre # nombre de Betti # planification de mouvement de robot # polyèdre isothétique # résumé # spline # topologie digitale

00B05 ; 68-06 ; 68U05

... Lire [+]

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

- 408 p.
ISBN 978-3-540-62495-0

Lecture notes in computer science , 1190

Localisation : Collection 1er étage

aide et conception assistée de système # algorithme non numérique # analyse des algorithmes # application de la théorie des graphes # circuit réseau # combinatoire # graphe informatique # géométrie de l'informatique # ingineering des logiciels # logiciel # mathématique discrète # modélisation d'objet # outil et technique # problème # problème de complexité # programmation mathématique # théorie des graphes

05Cxx ; 68R10 ; 68U05 ; 68Uxx ; 90C35

... Lire [+]

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

- 309 p.
ISBN 978-3-540-62592-6

Lecture notes in computer science , 1203

Localisation : Collection 1er étage

analyse des algorithmes # calcul # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # modélisation d'objet # problème de complexité # structure des données

68Q22 ; 68U05 ; 68Uxx

... Lire [+]

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

- 222 p.
ISBN 978-3-540-61785-3

Lecture notes in computer science , 1148

Localisation : Collection 1er étage

algorithme de géométrie # application aux sciences physiques # architecture # conception assisté par ordinateur # géométrie algorithmique # géométrie convexe de l'informatique # géométrie de calcul informatique # géométrie de l'informatique # informatique de l'ingénieur # informatique graphique # modélisation # progiciel # robotique # science de la bie # triangulateur de Delauney # utilitaire graphique # visibilité complexe # visualisation

68Txx ; 68U05 ; 68U07 ; 68Uxx

... Lire [+]

Z