Recently, symbolic computation and computer algebra systems have beensuccessfully applied in systems biology, especially in chemical reactionnetwork theory. One advantage of symbolic computation is its potential forqualitative answers to biological questions. Qualitative methods analyzedynamical input systems as formal objects, in contrast to investigating onlypart of the state space, as is the case with numerical simulation. However,symbolic computation tools and libraries have a different set of requirementsfor their input data than their numerical counterparts. A common format used inmathematical modeling of biological processes is SBML. We illustrate that theuse of SBML data in symbolic computation requires significant pre-processing,incorporating external biological and mathematical expertise. ODEbase provideshigh quality symbolic computation input data derived from established existingbiomodels, covering in particular the BioModels database.<br
