Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., et al. (in press). Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. Journal of Symbolic Computation.