Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Sel de platineLes sels de platine sont une classe de médicaments de chimiothérapie. Cette classe regroupe trois molécules couramment utilisées : le cisplatine, l'oxaliplatine, et le carboplatine. Ils sont classés parmi les agents alkylants de l'ADN, qui inhibent la réplication cellulaire et induisent la mort cellulaire préférentielle des cellules cancéreuses, bien qu'ils n'ajoutent pas à proprement parler un groupement alkyle à l'ADN. Un ion platine, Pt2+, est situé au centre d'un complexe plan et carré, où il est lié par des liaisons covalentes aux autres molécules.
Ammineredresse=.8|vignette|Cation pentaamine(diazote)-ruthénium(), généralement écrit avec un seul « m ». En chimie de coordination, les ammines sont des complexes métalliques contenant au moins un ligand ammoniac . Le terme « ammine » est orthographié avec deux « m » pour des raisons historiques, mais les ligands porteurs de groupes alkyle ou aryle sont orthographiés avec un seul « m » ; il est par ailleurs fréquent de rencontrer les deux formes dans la littérature, souvent avec un seul « m » même en l'absence de chaîne carbonée.
BiosynthèseLa biosynthèse est la formation de substances par un être vivant ou son symbiote, dans son milieu interne ou dans les excrêtats que sont le mucus, les coquilles des œufs ou des mollusques, l’écorce Elle intéresse les chimistes et les biotechnologistes qui découvrent dans les cellules ou les organismes de nouveaux moyens, moins polluants ou moins énergivores, de produire des molécules complexes.
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Non-métalUn non-métal est un élément chimique dont les atomes du corps simple sont unis par des liaisons covalentes ou des liaisons intermoléculaires, et non par des liaisons métalliques. Ce sont de bons isolants électriques et thermiques, pour la plupart très volatils, caractérisés par une masse volumique plus faible et des températures de changement d'état généralement bien plus basses que celles des métaux, à l'exception notable du carbone.
MétalloïdeUn métalloïde est un élément chimique ou sont une combinaison de ces propriétés. Dans la littérature scientifique, faute de définition standard des métalloïdes, la liste des éléments classés dans cette famille varie selon les auteurs. Les six éléments généralement reconnus comme métalloïdes sont le bore B, le silicium Si, le germanium Ge, l'arsenic As, l'antimoine Sb et le tellure Te. Cinq autres sont moins fréquemment classés parmi les métalloïdes : le carbone C, l'aluminium Al, le sélénium Se, le polonium Po et l'astate At.
Complexe de coordinationvignette| Le cisplatine est un complexe de coordination du platine() avec deux ligands chlorure et deux ligands ammoniac formant une ammine. C'est l'un des anticancéreux les plus connus. Un complexe de coordination est constitué d'un atome ou d'ion central, généralement métallique, appelé centre de coordination, et d'un réseau de molécules ou d'ions liés, appelés ligands. De nombreux composés contenant des métaux, en particulier ceux qui comprennent des métaux de transition (éléments tels que le titane qui appartiennent au bloc du tableau périodique), sont des complexes de coordination.
