Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Rendu photoréalisteLe rendu photoréaliste qualifie un rendu visuel qui tend à ressembler à une photographie. Il s'applique ainsi au domaine de l'infographie. Il ne faut pas confondre le rendu photoréaliste avec les mouvements artistiques de l'hyperréalisme, du photoréalisme et du réalisme. Jurassic Park est le premier film à utiliser des images de synthèse où elles atteignent pour la première fois un niveau de réalisme faisant illusion. Elles se résument à quelques plans en pied des créatures, les gros plans étant des animatroniques.
Produit vectoriel en dimension 7En mathématiques, et plus précisément en algèbre linéaire, le produit vectoriel en dimension 7 est une loi de composition interne d'un espace euclidien à 7 dimensions, ayant certaines propriétés du produit vectoriel usuel (en dimension 3) ; on démontre d'ailleurs que de telles lois n'existent qu'en dimensions trois et sept. Les principes sous-jacents à la construction du produit vectoriel en dimension 7 seront présentés dans la section suivante.
Fonction hypergéométriquevignette|Graphe d'une fonction hypergéométrique dans le plan complexe. En mathématiques, le terme de fonction hypergéométrique, parfois sous le nom « fonction hypergéométrique de Gauss », désigne généralement une fonction spéciale particulière, dépendant de trois paramètres a, b, c, notée F(a, b, c ; z), parfois notée sans indice quand il n'y a pas d'ambigüité, et qui s'exprime sous la forme de la série hypergéométrique (lorsque celle-ci converge).
Generalized hypergeometric functionIn mathematics, a generalized hypergeometric series is a power series in which the ratio of successive coefficients indexed by n is a rational function of n. The series, if convergent, defines a generalized hypergeometric function, which may then be defined over a wider domain of the argument by analytic continuation. The generalized hypergeometric series is sometimes just called the hypergeometric series, though this term also sometimes just refers to the Gaussian hypergeometric series.
Dôme (architecture)vignette|Le dôme de Saint-Pierre de Rome. vignette|La première tour à dôme construite en France est probablement la tour nord de la cathédrale de Tours, érigée en 1547. Un dôme (du provençal doma, du latin doma, du grec dôma) est un élément d'architecture qui couvre un édifice de plan circulaire, elliptique ou polygonal. Sa forme est généralement proche d'un hémisphère, mais il existe de nombreuses variations. Le terme est souvent utilisé comme synonyme de coupole.
Dôme géodésiqueEn architecture, un dôme géodésique est une structure sphérique, ou partiellement sphérique, en treillis dont les barres suivent les grands cercles (géodésiques) de la sphère. L'intersection des barres géodésiques forme des éléments triangulaires qui possèdent chacun leur propre rigidité, provoquant la distribution des forces et des tensions sur l'ensemble de la structure qui est de ce fait autoporteuse, laissant l'intérieur entièrement disponible (pas de piliers).
