Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability

Cite this paper

@inproceedings{Walter2003GuaranteedNC, title={Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability}, author={Eric Walter and Isabelle Braems and Luc Jaulin and Michel Kieffer}, booktitle={Numerical Software with Result Verification}, year={2003} }