Stav dette: Chemical reaction equilibrium analysis: theory and algorithms