ÉlectrolyseL'électrolyse est une méthode qui permet de réaliser des réactions chimiques grâce à une activation électrique. C'est le processus de conversion de l'énergie électrique en énergie chimique. Elle permet par ailleurs, dans l'industrie chimique, la séparation d'éléments ou la synthèse de composés chimiques. Elle intervient aussi dans la classification des corps purs. L'électrolyse est utilisée dans divers procédés industriels, tels que la production de dihydrogène par électrolyse de l'eau, la production d'aluminium ou de chlore, ou encore pour le placage d'objets par galvanoplastie.
Dissociation (chimie)La dissociation, en chimie et biochimie, est un processus général dans lequel des molécules (ou composés ioniques tels que des sels, ou complexes) se dissocient ou se séparent en des particules plus petites telles que des atomes, ions ou radicaux. Ainsi, quand un acide se dissout dans de l'eau, une liaison covalente entre un atome électronégatif et un atome d'hydrogène est rompue par hétérolyse, ce qui donne un ion hydronium (H+) et un ion négatif. Les procédés associés sont souvent réversibles.
Maxima (logiciel)Maxima est un logiciel libre de calcul formel, descendant du logiciel Macsyma, développé dès 1968 au sein du projet MAC du MIT (le nom Macsyma est tiré de « Project MAC's Symbolic Manipulator »). Il est disponible sous GNU/Linux, Mac OS X, Windows et Android. Maxima est distribué sous licence GNU GPL depuis 1998. Le logiciel est programmé en Lisp, tout comme les systèmes de calcul formel , Derive, et Axiom. Né à la fin des années 1960 au MIT, Macsyma a servi de « terrain d'expérimentation » pour de nombreux algorithmes de calcul formel.