Topologie induiteEn mathématiques, la topologie induite est une topologie définie sur toute partie Y d'un espace topologique X : c'est la trace sur Y de la topologie sur X. Autrement dit, l'ensemble des ouverts de Y (muni de la topologie induite) est : {O⋂Y | O ouvert de X}. Ou encore : les voisinages dans Y d'un point sont les traces sur Y de ses voisinages dans X. On dit alors que Y est un sous-espace de X. La topologie induite est souvent sous-entendue dans les énoncés de topologie : par exemple, lorsque l'on a un espace topologique X donné, une partie Y de X sera dite compacte si elle est compacte pour la topologie induite par X sur Y.
Théorème de DandelinEn mathématiques, le théorème de Dandelin, ou théorème de Dandelin-Quetelet ou théorème belge sur la section conique, est un théorème portant sur les coniques. Le théorème de Dandelin énonce que, si une ellipse ou une hyperbole est obtenue comme section conique d'un cône de révolution par un plan, alors : il existe deux sphères à la fois tangentes au cône et au plan de la conique (de part et d'autre de ce plan pour l'ellipse et d'un même côté de ce plan pour l'hyperbole) ; les points de tangence des deux sphères au plan sont les foyers de la conique ; les directrices de la conique sont les intersections du plan de la conique avec les plans contenant les cercles de tangences des sphères avec le cône.
Ingénierie assistée par ordinateurL'ingénierie assistée par ordinateur ou IAO (en anglais computer-aided engineering ou CAE), également qualifiée dingénierie numérique, regroupe l'ensemble des moyens numériques et logiciels habituellement utilisés par les ingénieurs et techniciens des bureaux d'études pour concevoir, simuler et valider de nouveaux produits et processus industriels. L'aboutissement de la phase d'ingénierie numérique d'un produit est sa maquette numérique.
FreeCADFreeCAD est un logiciel libre et open source, de CAO 3D paramétrique, publié sous license LGPLv2+. Il permet d'utiliser la modélisation volumique (ou CSG), la modélisation fonctionnelle (constituée par des sous-jacentes), et depuis la v.0.17 la modélisation surfacique (ou B-Rep). Ces trois types de modélisation sont entièrement paramétrables. D'abord destiné aux métiers du génie mécanique, avec la CMAO, FreeCAD s'est ensuite étendu à d'autres branches de l'ingénierie, comme l'architecture, grâce à son module BIM.
Algèbre extérieureEn mathématiques, et plus précisément en algèbre et en analyse vectorielle, l'algèbre extérieure d'un espace vectoriel E est une algèbre associative graduée, notée . La multiplication entre deux éléments a et b est appelée le produit extérieur et est notée . Le carré de tout élément de E est zéro (), on dit que la multiplication est alternée, ce qui entraîne que pour deux éléments de E : (la loi est « anti-commutative »). L'algèbre extérieure est aussi appelée algèbre de Grassmann nommée ainsi en l'honneur de Hermann Grassmann.
Groupes d'homotopie des sphèresEn mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
Topologie produitEn mathématiques, plus précisément en topologie, la topologie produit est une topologie définie sur un produit d'espaces topologiques. C'est de manière générale la topologie initiale associée aux projections de l'espace produit vers chacun de ses facteurs : autrement dit, c'est la topologie la moins fine rendant continues les projections. Dans le cas d'un produit fini, la topologie produit permet notamment de définir une topologie naturelle sur Rn à partir de celle de R.
Polyèdre semi-réguliervignette|Le cuboctaèdre, un des 13 solides d'Archimède. Un polyèdre est dit semi-régulier si ses faces sont des polygones réguliers, et si son groupe de symétrie est transitif sur ses sommets. Ou au moins, c'est ce qui découle de la définition de 1900 de Gosset sur le polytope semi-régulier le plus général. Ces polyèdres incluent : Les treize solides d'Archimède. La série infinie des prismes convexes. La série infinie des antiprismes convexes (leur nature semi-régulière fut observée en premier par Kepler).
Surface (géométrie analytique)En géométrie analytique, on représente les surfaces, c'est-à-dire les ensembles de points sur lequel il est localement possible de se repérer à l'aide de deux coordonnées réelles, par des relations entre les coordonnées de leurs points, qu'on appelle équations de la surface ou par des représentations paramétriques. Cet article étudie les propriétés des surfaces que cette approche (appelée souvent extrinsèque) permet de décrire. Pour des résultats plus approfondis, voir Géométrie différentielle des surfaces.
Fabrication assistée par ordinateurvignette|300px|Disque en alliage chrome-cobalt avec couronnes pour implants dentaires usiné à l'aide du logiciel de FAO WorkNC Dental Le but de la fabrication assistée par ordinateur ou FAO (en anglais, computer-aided manufacturing ou CAM) est d'écrire le fichier contenant le programme de pilotage d'une machine-outil à commande numérique. Ce fichier va décrire précisément les mouvements que doit exécuter la machine-outil pour réaliser la pièce demandée. On appelle également ce type de fichiers : programme ISO ou blocs ISO.
Surface minimaleEn mathématiques et en physique, une surface minimale est une surface minimisant son aire tout en réalisant une contrainte : un ensemble de points, ou le bord de la surface, est d'avance déterminé. Si un cerceau est retiré d'une bassine d'eau savonneuse, un disque de liquide reste fixé. Un souffle dessus déforme légèrement le disque en une calotte sphérique. Si l'étude fait appel à la mécanique des fluides, le traitement mathématique utilise le langage des surfaces minimales.
GoogleGoogle LLC est une entreprise américaine de services technologiques fondée en dans la Silicon Valley, en Californie, par Larry Page et Sergey Brin, créateurs du moteur de recherche Google. C'est une filiale de la société Alphabet depuis . L'entreprise s'est principalement fait connaître à travers la situation monopolistique de son moteur de recherche, concurrencé historiquement par AltaVista puis par Yahoo! et Bing.