Karbon dioksida

Karbon dioksida pertama kali dicairkan (pada tekanan tinggi) pada tahun 1823 oleh Humphry Davy dan Michael Faraday. Deskripsi pertama mengenai karbon dioksida padat dilaporkan oleh Charles Thilorier ketika pada tahun 1834 dia membuka kontainer karbon dioksida cair yang diberikan tekanan dan menemukan pendinginan tersebut menghasilkan penguapan yang menghasilkan "salju" CO padat.