  Determining unknown parameter values in dynamic models is crucial for
accurate analysis of the dynamics across the different scientific disciplines.
Discrete-time dynamic models are widely used to model biological processes, but
it is often difficult to determine these parameters. In this paper, we propose
a robust symbolic-numeric approach for parameter estimation in discrete-time
models that involve non-algebraic functions such as exp. We illustrate the
performance (precision) of our approach by applying our approach to the flour
beetle (LPA) model, an archetypal discrete-time model in biology. Unlike
optimization-based methods, our algorithm guarantees to find all solutions of
the parameter values given time-series data for the measured variables.
