@Article{boulier_et_al:DagRep.2.11.66, author = {Boulier, Francois and Shiu, Anne J. and Strum, Thomas and Weber, Andreas}, title = {{Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462)}}, pages = {66--86}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {2}, number = {11}, editor = {Boulier, Francois and Shiu, Anne J. and Strum, Thomas and Weber, Andreas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.11.66}, URN = {urn:nbn:de:0030-drops-39060}, doi = {10.4230/DagRep.2.11.66}, annote = {Keywords: chemical reaction network theory, differential algebra, Hopf bifurcation, mass-action kinetics, model inference, model reduction, molecular interaction network, multistationarity, parameter estimation, quantifier elimination, stoichiometric network analysis, symbolic computation} }