Decision-free aqueous speciation with precipitation: Migrating from iterative if-loops to closed-form tableau using Fischer-Burmeister and piecewise constraints. - Claudia Santiviago; Wayne Parker; Scott Smith (Comput. Geosci., 2026)