Eric Walter, Isabelle Braems, Luc Jaulin, Michel Kieffer. Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability. In René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther, editors, Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Volume 2991 of Lecture Notes in Computer Science, pages 124-131, Springer, 2003. [doi]
Abstract is missing.