Wang tileWang tiles (or Wang dominoes), first proposed by mathematician, logician, and philosopher Hao Wang in 1961, are a class of formal systems. They are modelled visually by square tiles with a color on each side. A set of such tiles is selected, and copies of the tiles are arranged side by side with matching colors, without rotating or reflecting them. The basic question about a set of Wang tiles is whether it can tile the plane or not, i.e., whether an entire infinite plane can be filled this way.
Pavage de Penrosevignette|Un pavage de Penrose|alt= vignette|Roger Penrose, debout sur le pavage de Penrose du foyer de l'institut Mitchell, Texas A&M University|alt= Les pavages de Penrose sont, en géométrie, des pavages du plan découverts par le mathématicien et physicien britannique Roger Penrose dans les années 1970. En 1984, ils ont été utilisés comme un modèle intéressant de la structure des quasi-cristaux.
Point de branchementEn analyse complexe, le point de branchement ou point de ramification est un point singulier d'une fonction analytique complexe multiforme, telle que la fonction racine n-ième ou le logarithme complexe. En ce point s'échangent les différentes déterminations. Géométriquement, cette notion délicate est liée à la surface de Riemann associée à la fonction et relève de la question de la monodromie. Pour donner une image, cela correspond à un escalier en colimaçon dont l'axe (réduit à un point) est placé à la singularité, desservant plusieurs (voire une infinité) d'étages.
