Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Fonction linéaire (analyse)Dans les mathématiques élémentaires, les fonctions linéaires sont parmi les fonctions les plus simples que l'on rencontre. Ce sont des cas particuliers d'applications linéaires. Elles traduisent la proportionnalité. Par exemple, on dira que le prix d'un plein d'essence est fonction linéaire du nombre de litres mis dans le réservoir car : pour zéro litre, on paie zéro euro ; pour un litre, on paie 1,40 euro ; pour 2 litres on paie 2,80 euros ; pour 10 litres on paie 14 euros ; pour 100 litres on paie 140 euros ; et pour N litres, on paie 1,4 × N euros.
Gel (matériau)Un gel (du lat. gelu : gel, froid, glace ou congelés; ou gelatus : gelé, immobile -) est un solide qui peut avoir des propriétés allant de mou et ductile à dur et cassant. Au niveau microscopique, ce sont des systèmes réticulés de longues chaînes moléculaires (macromolécules, souvent de type polymères) diluées, ne présentant aucun écoulement lorsqu'ils sont à l'état stable. En masse, les gels sont principalement constitués de liquide, mais ont un comportement proche de celui des solides grâce à leur réseau tridimensionnel enchevêtré au sein du liquide.
Électrophorèse sur gelalt=Appareil à électrophorèse sur gel d'agarose|vignette|Appareil pour électrophorèse d'ADN en gel d'agarose. Le gel est horizontal baigne dans le tampon qui remplit la cuve. L'ADN est déposé dans des puits à une extrémité du gel. L'alimentation en arrière-plan fournit la tension électrique continue qui permet la migration des fragments d'ADN dans le gel. L'électrophorèse sur gel est une variante de l'électrophorèse de zones.
Rayon Xvignette|upright|Une des premières radiographies, prise par Wilhelm Röntgen. alt=Rayon X des poumons humains|vignette|189x189px|Rayon X des poumons humains. Les rayons X sont une forme de rayonnement électromagnétique à haute fréquence constitué de photons dont l'énergie varie d'une centaine d'eV (électron-volt), à plusieurs MeV. Ce rayonnement a été découvert en 1895 par le physicien allemand Wilhelm Röntgen, qui a reçu pour cela le premier prix Nobel de physique ; il lui donna le nom habituel de l'inconnue en mathématiques, X.
Exploitation minièrethumb|Extraction d'un gisement de charbon. thumb|Mineur portant sa collecte de soufre depuis le sol du volcan Ijen (2015). thumb|Carte simplifiée des activités minières dans le monde. vignette|SMD: Séance de travail entre les cadres des Ministères des Mines et de la Géologie; de l'Administration du Territoire et de la Décentralisation et l'Administration de la société aurifère NordGold Guinée.
Électrophorèse sur gel d'agarosevignette|Cuve remplie de tampon et transformateur utilisés pour l'électrophorèse sur gel d'agarose. L'électrophorèse sur gel d'agarose est une méthode utilisée en biochimie et en biologie moléculaire pour séparer l'ADN, l'ARN ou des protéines en fonction de leur masse moléculaire. La technique de l'électrophorèse sur gel d'agarose est basée sur la séparation des acides nucléiques chargés négativement sous l'effet d'un champ électrique.
Excavation à ciel ouvertalt=Refer to caption.|vignette|Côtés inclinés et en gradins de la mine d'or du barrage Sunrise, en Australie. Une exploitation à ciel ouvert (en open-pit mining, open-cast mining), ou excavation à ciel ouvert (en open cut excavation, surface mining), est une technique d'exploitation minière qui consiste à extraire de la roche ou des minéraux de la terre par leur retrait d'une fosse à ciel ouvert, parfois appelée emprunt (borrow). Une excavation à ciel ouvert peut désigner une carrière ou une mine à ciel ouvert.
LinéaritéLe concept de linéarité est utilisé dans le domaine des mathématiques et dans le domaine de la physique, et par extension dans le langage courant. Les premiers exemples de situations où intervient la linéarité sont les situations de proportionnalité constante entre deux variables : le graphe représentant une variable en fonction de l'autre forme alors une ligne droite qui passe par l'origine. Il ne faut cependant pas confondre linéarité et proportionnalité, car la proportionnalité n'est qu'un cas particulier de la linéarité.
GénitifEn linguistique, le génitif est un cas grammatical utilisé pour marquer un complément du nom. Il exprime notamment la possession dans de nombreuses langues (voir possessif (cas)). Il peut être indiqué au moyen de déclinaisons du nom du possesseur (comme en latin), en ajoutant un affixe à ce nom (comme en anglais et en néerlandais), en modifiant l'article défini (comme en allemand) ou en utilisant une adposition qui marque la possession (comme en français).
Tube à rayons XLes tubes à rayons X sont des dispositifs permettant de produire des rayons X, en général pour trois types d'applications : radiographie et tomographie (, science des matériaux) ; Cristallographie aux rayons X (diffraction de rayons X, voir aussi l'article Diffractomètre) ; analyse chimique élémentaire par spectrométrie de fluorescence des rayons X. Il existe plusieurs types de tubes. Quel que soit le type de tube, la génération des rayons X se fait selon le même principe.
Électrophorèse sur gel de polyacrylamideL'électrophorèse sur gel de polyacrylamide ou PAGE est une technique utilisant un gel réticulé fabriqué au moment de l'emploi en mélangeant de l'acrylamide qui polymérise sous l'action de l'APS (persulfate d'ammonium ; réactif qui initie la réaction) et du TEMED ; catalyseur de la polymérisation] en donnant des chaînes linéaires. Le gel ainsi formé possède un réseau, dont les mailles sont de taille variable en fonction des proportions d'acrylamide et de bis-acrylamide utilisée, le gel obtenu se comporte donc comme un tamis moléculaire.
